この玉カットはアーツ・アンド・クラフツ運動だ
fact1: もし仮にあの舌骨下筋群は監督官であるということはないならそれは会する fact2: もし仮にその行幸が接すとするとその有害環境は家人である fact3: 仮に「とある物はセルフ・レファレンスでないかもしくは等しないかあるいは両方ともである」ということは間違っているならアーツ・アンド・クラフツ運動でない fact4: もし仮に「ある物がアーツ・アンド・クラフツ運動だけど日光でない」ということは成り立つということはないならそれはアーツ・アンド・クラフツ運動であるということはない fact5: もしこの光学式が会するとすればあの林政は暗し fact6: もし「その有害環境は日光でないしさらにそれは接さない」ということは成り立つということはないとしたらそれは家人でない fact7: もしもとある物は家人だとしたら「それはアーツ・アンド・クラフツ運動であるけれど日光でない」ということは成り立たない fact8: この玉カットはセルフ・レファレンスであるし更に苔むす fact9: この玉カットはアーツ・アンド・クラフツ運動であるしセルフ・レファレンスである fact10: あのラテンはセルフ・レファレンスである fact11: この一視同仁は商人らしいしかつ携帯電話ソフトである fact12: この玉カットは傷付け易いしそれは周遊券である fact13: この玉カットはセルフ・レファレンスである fact14: あの舌骨下筋群は監督官でない fact15: 仮にあの舌骨下筋群が会するとすればこの光学式は会する fact16: もしもその有害環境がアーツ・アンド・クラフツ運動でないとするとこの玉カットはセルフ・レファレンスであるかまたはそれは等し
fact9 -> hypothesis;
この玉カットはアーツ・アンド・クラフツ運動でない
fact18 -> int1: もしも「この玉カットはセルフ・レファレンスでないかまたはそれは等しない」ということは嘘ならばアーツ・アンド・クラフツ運動でない;
$facts$ = fact1: もし仮にあの舌骨下筋群は監督官であるということはないならそれは会する fact2: もし仮にその行幸が接すとするとその有害環境は家人である fact3: 仮に「とある物はセルフ・レファレンスでないかもしくは等しないかあるいは両方ともである」ということは間違っているならアーツ・アンド・クラフツ運動でない fact4: もし仮に「ある物がアーツ・アンド・クラフツ運動だけど日光でない」ということは成り立つということはないならそれはアーツ・アンド・クラフツ運動であるということはない fact5: もしこの光学式が会するとすればあの林政は暗し fact6: もし「その有害環境は日光でないしさらにそれは接さない」ということは成り立つということはないとしたらそれは家人でない fact7: もしもとある物は家人だとしたら「それはアーツ・アンド・クラフツ運動であるけれど日光でない」ということは成り立たない fact8: この玉カットはセルフ・レファレンスであるし更に苔むす fact9: この玉カットはアーツ・アンド・クラフツ運動であるしセルフ・レファレンスである fact10: あのラテンはセルフ・レファレンスである fact11: この一視同仁は商人らしいしかつ携帯電話ソフトである fact12: この玉カットは傷付け易いしそれは周遊券である fact13: この玉カットはセルフ・レファレンスである fact14: あの舌骨下筋群は監督官でない fact15: 仮にあの舌骨下筋群が会するとすればこの光学式は会する fact16: もしもその有害環境がアーツ・アンド・クラフツ運動でないとするとこの玉カットはセルフ・レファレンスであるかまたはそれは等し ; $hypothesis$ = この玉カットはアーツ・アンド・クラフツ運動だ ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もし仮にあの舌骨下筋群は監督官であるということはないならそれは会する
事実2: もし仮にその行幸が接すとするとその有害環境は家人である
事実3: 仮に「とある物はセルフ・レファレンスでないかもしくは等しないかあるいは両方ともである」ということは間違っているならアーツ・アンド・クラフツ運動でない
事実4: もし仮に「ある物がアーツ・アンド・クラフツ運動だけど日光でない」ということは成り立つということはないならそれはアーツ・アンド・クラフツ運動であるということはない
事実5: もしこの光学式が会するとすればあの林政は暗し
事実6: もし「その有害環境は日光でないしさらにそれは接さない」ということは成り立つということはないとしたらそれは家人でない
事実7: もしもとある物は家人だとしたら「それはアーツ・アンド・クラフツ運動であるけれど日光でない」ということは成り立たない
事実8: この玉カットはセルフ・レファレンスであるし更に苔むす
事実9: この玉カットはアーツ・アンド・クラフツ運動であるしセルフ・レファレンスである
事実10: あのラテンはセルフ・レファレンスである
事実11: この一視同仁は商人らしいしかつ携帯電話ソフトである
事実12: この玉カットは傷付け易いしそれは周遊券である
事実13: この玉カットはセルフ・レファレンスである
事実14: あの舌骨下筋群は監督官でない
事実15: 仮にあの舌骨下筋群が会するとすればこの光学式は会する
事実16: もしもその有害環境がアーツ・アンド・クラフツ運動でないとするとこの玉カットはセルフ・レファレンスであるかまたはそれは等し

仮説: この玉カットはアーツ・アンド・クラフツ運動だ
1. 事実9から、仮説が導かれる

よって、仮説が証明されました。