theorem proving by rule based system

accessory parts ammonium sulfhydrate average tempering B.Agr. body hole cargo oil tank cleaning system center frequency chondrins gerres japonicus hymenial peridium inclined-jet turbine kings' cakes knology photonics in switching rerunnable rollereuse scrublands sign logic spherophakia-brachymorphia syndrome the apple of sb's eye