このタバコ屋はうら若し
fact1: もしあの大きさが航跡でないとするとそのポケモン事件は近くないが研究発表である fact2: あの精油成分は呪わしくないならば「この経済行為は実験学校でなくてその上ワールドインター航空でない」ということは誤っている fact3: あの自戒はうら若し fact4: 地域産業はマンション法だ fact5: もしも「この経済行為は実験学校でなくて更にワールドインター航空でない」ということは間違いであるならばそのアップルボリュームＳファイルは御話し為さる fact6: もしこの経済行為が御話し為さらないならばそのアップルボリュームＳファイルは地域産業だ fact7: もしもあの大きさが近いけれどそれが研究発表でないとするとこのタバコ屋はうら若し fact8: あの大きさは近い fact9: もしも「あの精油成分は実験学校であるということはない」ということは成り立てばこの経済行為は御話し為さるということはない一方でワールドインター航空である fact10: もしも近いということはないものは研究発表だとしたら「それは消化し易い」ということは誤りでない fact11: このタバコ屋は真白くない fact12: 「なにかは実験学校で呪わしい」ということは嘘であるならばそれは実験学校でない fact13: このタバコ屋は消化し易い fact14: もしもあの大きさが近いならばこのタバコ屋は消化し易い fact15: マンション法は航跡だ fact16: 仮にあの大きさが近いならこのタバコ屋はうら若しということはないがしかし消化し易い fact17: そのアップルボリュームＳファイルが航跡であるならあの大きさは近いが研究発表でない fact18: このタバコ屋は近いということはない fact19: あの精油成分は欲しかないならば「実験学校であるしその上呪わしい」ということは間違いだ fact20: あの大きさは消化し易くない fact21: あの大きさはうら若しない
fact16 & fact8 -> int1: このタバコ屋はうら若しないけどそれは消化し易い; int1 -> hypothesis;
このタバコ屋はうら若し
fact22 -> int2: もし仮にそのアップルボリュームＳファイルはマンション法であるとしたら「航跡である」ということは正しい; fact26 -> int3: もし仮にそのアップルボリュームＳファイルは地域産業であるとすればマンション法である; fact27 -> int4: 「仮に「あの精油成分は実験学校だし呪わしい」ということは成り立たないとしたらあの精油成分は実験学校でない」ということは正しい;
$facts$ = fact1: もしあの大きさが航跡でないとするとそのポケモン事件は近くないが研究発表である fact2: あの精油成分は呪わしくないならば「この経済行為は実験学校でなくてその上ワールドインター航空でない」ということは誤っている fact3: あの自戒はうら若し fact4: 地域産業はマンション法だ fact5: もしも「この経済行為は実験学校でなくて更にワールドインター航空でない」ということは間違いであるならばそのアップルボリュームＳファイルは御話し為さる fact6: もしこの経済行為が御話し為さらないならばそのアップルボリュームＳファイルは地域産業だ fact7: もしもあの大きさが近いけれどそれが研究発表でないとするとこのタバコ屋はうら若し fact8: あの大きさは近い fact9: もしも「あの精油成分は実験学校であるということはない」ということは成り立てばこの経済行為は御話し為さるということはない一方でワールドインター航空である fact10: もしも近いということはないものは研究発表だとしたら「それは消化し易い」ということは誤りでない fact11: このタバコ屋は真白くない fact12: 「なにかは実験学校で呪わしい」ということは嘘であるならばそれは実験学校でない fact13: このタバコ屋は消化し易い fact14: もしもあの大きさが近いならばこのタバコ屋は消化し易い fact15: マンション法は航跡だ fact16: 仮にあの大きさが近いならこのタバコ屋はうら若しということはないがしかし消化し易い fact17: そのアップルボリュームＳファイルが航跡であるならあの大きさは近いが研究発表でない fact18: このタバコ屋は近いということはない fact19: あの精油成分は欲しかないならば「実験学校であるしその上呪わしい」ということは間違いだ fact20: あの大きさは消化し易くない fact21: あの大きさはうら若しない ; $hypothesis$ = このタバコ屋はうら若し ; $proof$ = 
fact16 & fact8 -> int1: このタバコ屋はうら若しないけどそれは消化し易い; int1 -> hypothesis; __DISPROVED__
事実1: もしあの大きさが航跡でないとするとそのポケモン事件は近くないが研究発表である
事実2: あの精油成分は呪わしくないならば「この経済行為は実験学校でなくてその上ワールドインター航空でない」ということは誤っている
事実3: あの自戒はうら若し
事実4: 地域産業はマンション法だ
事実5: もしも「この経済行為は実験学校でなくて更にワールドインター航空でない」ということは間違いであるならばそのアップルボリュームＳファイルは御話し為さる
事実6: もしこの経済行為が御話し為さらないならばそのアップルボリュームＳファイルは地域産業だ
事実7: もしもあの大きさが近いけれどそれが研究発表でないとするとこのタバコ屋はうら若し
事実8: あの大きさは近い
事実9: もしも「あの精油成分は実験学校であるということはない」ということは成り立てばこの経済行為は御話し為さるということはない一方でワールドインター航空である
事実10: もしも近いということはないものは研究発表だとしたら「それは消化し易い」ということは誤りでない
事実11: このタバコ屋は真白くない
事実12: 「なにかは実験学校で呪わしい」ということは嘘であるならばそれは実験学校でない
事実13: このタバコ屋は消化し易い
事実14: もしもあの大きさが近いならばこのタバコ屋は消化し易い
事実15: マンション法は航跡だ
事実16: 仮にあの大きさが近いならこのタバコ屋はうら若しということはないがしかし消化し易い
事実17: そのアップルボリュームＳファイルが航跡であるならあの大きさは近いが研究発表でない
事実18: このタバコ屋は近いということはない
事実19: あの精油成分は欲しかないならば「実験学校であるしその上呪わしい」ということは間違いだ
事実20: あの大きさは消化し易くない
事実21: あの大きさはうら若しない

仮説: このタバコ屋はうら若し
1. 事実16と事実8から、推論1: "このタバコ屋はうら若しないけどそれは消化し易い"が導かれる
2. 推論1から、仮説が否定される

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