「この街頭は鳥取県教育会でない」ということは間違いだ
fact1: 仮に「あの総料理長は鳥取県教育会でない」ということは成り立つとしたらこの街頭は間近くない fact2: もし仮に何らかの物が間近いならそれは涼しいかまたは鳥取県教育会でないかまたは両方ともだ fact3: もし仮にあの総料理長が間近いとすればこの街頭は鳥取県教育会でない fact4: もしもあの現状問題構造ツリーが忘れっぽくないとしたら間近くて揮発し易い fact5: あの総料理長がオレガノでないとするとこの街頭は鳥取県教育会でない fact6: あの総料理長は間近いかまたはオレガノでない fact7: もし仮にあの総料理長が間近いとしたらこの街頭は鳥取県教育会である fact8: あの総料理長は鳥取県教育会でない
fact6 & fact3 & fact5 -> hypothesis;
fact6 & fact3 & fact5 -> hypothesis;
この街頭は鳥取県教育会だ
$facts$ = fact1: 仮に「あの総料理長は鳥取県教育会でない」ということは成り立つとしたらこの街頭は間近くない fact2: もし仮に何らかの物が間近いならそれは涼しいかまたは鳥取県教育会でないかまたは両方ともだ fact3: もし仮にあの総料理長が間近いとすればこの街頭は鳥取県教育会でない fact4: もしもあの現状問題構造ツリーが忘れっぽくないとしたら間近くて揮発し易い fact5: あの総料理長がオレガノでないとするとこの街頭は鳥取県教育会でない fact6: あの総料理長は間近いかまたはオレガノでない fact7: もし仮にあの総料理長が間近いとしたらこの街頭は鳥取県教育会である fact8: あの総料理長は鳥取県教育会でない ; $hypothesis$ = 「この街頭は鳥取県教育会でない」ということは間違いだ ; $proof$ = 
fact6 & fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「あの総料理長は鳥取県教育会でない」ということは成り立つとしたらこの街頭は間近くない
事実2: もし仮に何らかの物が間近いならそれは涼しいかまたは鳥取県教育会でないかまたは両方ともだ
事実3: もし仮にあの総料理長が間近いとすればこの街頭は鳥取県教育会でない
事実4: もしもあの現状問題構造ツリーが忘れっぽくないとしたら間近くて揮発し易い
事実5: あの総料理長がオレガノでないとするとこの街頭は鳥取県教育会でない
事実6: あの総料理長は間近いかまたはオレガノでない
事実7: もし仮にあの総料理長が間近いとしたらこの街頭は鳥取県教育会である
事実8: あの総料理長は鳥取県教育会でない

仮説: 「この街頭は鳥取県教育会でない」ということは間違いだ
1. 事実6と事実3と事実5から、仮説が否定される

よって、仮説が否定されました。