「この歯は漂い続けない」ということは成り立つ
fact1: もしも「あるものは浅ましないがそれは学術図書館である」ということは成り立たないならそれは向山型算数でない fact2: もし何らかの物が吹き抜けないとしたらそれは浜御殿であるかまたは男らしくないかもしくはどちらもだ fact3: 仮に何かは漂い続ければそれは消化し易い fact4: もしこのキリスト教信仰が国家全体だとすればこの歯は漂い続ける fact5: あの規管は国家全体である fact6: もし仮にその過敏が吹き抜けるがそれは岩塊でないならば「その開胸は吹き抜けるということはない」ということは真実だ fact7: もし「この歯は消化し易い」ということは成り立つならこのキリスト教信仰は漂い続ける fact8: もし何らかのものが浜御殿であるかあるいはそれは男らしいということはないかもしくはどちらもだとしたらそれは男らしくない fact9: なんらかの物が消化し易いとしたら国家全体である fact10: 仮にそのロケ用が第十八願だとすればこのキリスト教信仰は消化し易い fact11: もし仮になにがしかのものが出し難いとしたらそれは吹き抜けるが岩塊でない fact12: もし仮にそのロケ用が漂い続けるとするとこの歯は第十八願である fact13: もしもなんらかのものは男らしくないならば「御し易いし加えてそれは県立である」ということは間違っている fact14: そのロケ用は第十八願だ fact15: もし何らかのものは断定し難いとすると「第十八願である」ということは成り立つ fact16: その過敏は出し難い fact17: もし仮になんらかの物が第十八願でないとすれば消化し易いけど漂い続けない fact18: もし仮にそのロケ用が消化し易いが漂い続けるということはないならばあの歯は漂い続けない fact19: 仮に何らかのものは国家全体でなくて更にＸ連鎖劣性遺伝でないとしたらそれは第十八願でない fact20: もし何らかの物は県立だということはないとすれば「それは浅ましということはないけれど学術図書館だ」ということは成り立たない fact21: 仮に「「御し易いしまた県立である」ということは偽な」物があるとしたらこのキリスト教信仰は県立でない
fact10 & fact14 -> int1: このキリスト教信仰は消化し易い; fact9 -> int2: もしもこのキリスト教信仰が消化し易いとすれば国家全体だ; int1 & int2 -> int3: このキリスト教信仰は国家全体である; int3 & fact4 -> hypothesis;
fact10 & fact14 -> int1: {B}{b}; fact9 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 & fact4 -> hypothesis;
もしそのロケ用が断定し難いなら第十八願だ
fact22 -> hypothesis;
$facts$ = fact1: もしも「あるものは浅ましないがそれは学術図書館である」ということは成り立たないならそれは向山型算数でない fact2: もし何らかの物が吹き抜けないとしたらそれは浜御殿であるかまたは男らしくないかもしくはどちらもだ fact3: 仮に何かは漂い続ければそれは消化し易い fact4: もしこのキリスト教信仰が国家全体だとすればこの歯は漂い続ける fact5: あの規管は国家全体である fact6: もし仮にその過敏が吹き抜けるがそれは岩塊でないならば「その開胸は吹き抜けるということはない」ということは真実だ fact7: もし「この歯は消化し易い」ということは成り立つならこのキリスト教信仰は漂い続ける fact8: もし何らかのものが浜御殿であるかあるいはそれは男らしいということはないかもしくはどちらもだとしたらそれは男らしくない fact9: なんらかの物が消化し易いとしたら国家全体である fact10: 仮にそのロケ用が第十八願だとすればこのキリスト教信仰は消化し易い fact11: もし仮になにがしかのものが出し難いとしたらそれは吹き抜けるが岩塊でない fact12: もし仮にそのロケ用が漂い続けるとするとこの歯は第十八願である fact13: もしもなんらかのものは男らしくないならば「御し易いし加えてそれは県立である」ということは間違っている fact14: そのロケ用は第十八願だ fact15: もし何らかのものは断定し難いとすると「第十八願である」ということは成り立つ fact16: その過敏は出し難い fact17: もし仮になんらかの物が第十八願でないとすれば消化し易いけど漂い続けない fact18: もし仮にそのロケ用が消化し易いが漂い続けるということはないならばあの歯は漂い続けない fact19: 仮に何らかのものは国家全体でなくて更にＸ連鎖劣性遺伝でないとしたらそれは第十八願でない fact20: もし何らかの物は県立だということはないとすれば「それは浅ましということはないけれど学術図書館だ」ということは成り立たない fact21: 仮に「「御し易いしまた県立である」ということは偽な」物があるとしたらこのキリスト教信仰は県立でない ; $hypothesis$ = 「この歯は漂い続けない」ということは成り立つ ; $proof$ = 
fact10 & fact14 -> int1: このキリスト教信仰は消化し易い; fact9 -> int2: もしもこのキリスト教信仰が消化し易いとすれば国家全体だ; int1 & int2 -> int3: このキリスト教信仰は国家全体である; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「あるものは浅ましないがそれは学術図書館である」ということは成り立たないならそれは向山型算数でない
事実2: もし何らかの物が吹き抜けないとしたらそれは浜御殿であるかまたは男らしくないかもしくはどちらもだ
事実3: 仮に何かは漂い続ければそれは消化し易い
事実4: もしこのキリスト教信仰が国家全体だとすればこの歯は漂い続ける
事実5: あの規管は国家全体である
事実6: もし仮にその過敏が吹き抜けるがそれは岩塊でないならば「その開胸は吹き抜けるということはない」ということは真実だ
事実7: もし「この歯は消化し易い」ということは成り立つならこのキリスト教信仰は漂い続ける
事実8: もし何らかのものが浜御殿であるかあるいはそれは男らしいということはないかもしくはどちらもだとしたらそれは男らしくない
事実9: なんらかの物が消化し易いとしたら国家全体である
事実10: 仮にそのロケ用が第十八願だとすればこのキリスト教信仰は消化し易い
事実11: もし仮になにがしかのものが出し難いとしたらそれは吹き抜けるが岩塊でない
事実12: もし仮にそのロケ用が漂い続けるとするとこの歯は第十八願である
事実13: もしもなんらかのものは男らしくないならば「御し易いし加えてそれは県立である」ということは間違っている
事実14: そのロケ用は第十八願だ
事実15: もし何らかのものは断定し難いとすると「第十八願である」ということは成り立つ
事実16: その過敏は出し難い
事実17: もし仮になんらかの物が第十八願でないとすれば消化し易いけど漂い続けない
事実18: もし仮にそのロケ用が消化し易いが漂い続けるということはないならばあの歯は漂い続けない
事実19: 仮に何らかのものは国家全体でなくて更にＸ連鎖劣性遺伝でないとしたらそれは第十八願でない
事実20: もし何らかの物は県立だということはないとすれば「それは浅ましということはないけれど学術図書館だ」ということは成り立たない
事実21: 仮に「「御し易いしまた県立である」ということは偽な」物があるとしたらこのキリスト教信仰は県立でない

仮説: 「この歯は漂い続けない」ということは成り立つ
1. 事実10と事実14から、推論1: "このキリスト教信仰は消化し易い"が導かれる
2. 事実9から、推論2: "もしもこのキリスト教信仰が消化し易いとすれば国家全体だ"が導かれる
3. 推論1と推論2から、推論3: "このキリスト教信仰は国家全体である"が導かれる
4. 推論3と事実4から、仮説が否定される

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