この樹冠は成立し得るしかつＮＤＭＰだ
fact1: 仮に「「何かは見窄らしいかもしくはそれはビジネスクラスでないかどちらもである」ということは確かだ」ということは成り立たないならそれは動作化する fact2: 仮に「易しということはない」物があればこの樹冠はＮＤＭＰだ fact3: 「そのショットガンは御飲みに成らないか縦走しないかもしくはどちらもだ」ということは誤りである fact4: 「ＮＤＭＰな」物があればその九箇国条約は成立し得るか易しかもしくは両方である fact5: なにかはＮＤＭＰでない fact6: もし仮に「そのショットガンは御飲みに成らないか縦走しない」ということは偽だとすると「それは三分二量である」ということは確かだ fact7: もしも「易しない」物があればこの樹冠は成立し得るしＮＤＭＰである fact8: 「易しない」ものはある fact9: その発揮は成立し得るしさらに子供っぽい fact10: もし仮に「狙い澄まさない」ものはあれば「その九箇国条約は見窄らしいかまたはそれはビジネスクラスであるということはない」ということは本当だということはない fact11: 仮に「「易しない」ということは確かな」物があるとしたらこの樹冠はあくどいしかつ音響機器だ fact12: その九箇国条約が成立し得るとすればこの樹冠は主尾根でない fact13: あの全身打撲が繕うしその上それは陰気臭い fact14: もし仮にそのショットガンが問題等でないならばその九箇国条約は易し一方でそれは成立し得ない fact15: 何らかのものは成立し得る fact16: 「易し」物はある fact17: もし何かは易しないならば「それは成立し得るしそれはＮＤＭＰである」ということは誤っている fact18: もし仮にある物は動作化するとすれば「園芸用土であるかもしくは問題等でないかもしくは両方ともである」ということは成り立たない fact19: 問題等はＮＤＭＰだ fact20: もし仮にそのショットガンが三分二量だとしたらそれは狙い澄まさない fact21: この樹冠はＮＤＭＰだ
fact8 & fact7 -> hypothesis;
「この樹冠は成立し得るしそれにそれはＮＤＭＰである」ということは事実と異なる
fact26 -> int1: この樹冠は易しないなら「それは成立し得るししかもＮＤＭＰである」ということは事実と異なる; fact28 -> int2: その九箇国条約は動作化するなら「園芸用土であるか問題等でない」ということは偽だ; fact25 -> int3: もし仮に「その九箇国条約は見窄らしいかあるいはそれはビジネスクラスでない」ということは嘘であるとしたら「それは動作化する」ということは正しい; fact27 & fact24 -> int4: そのショットガンは三分二量である; fact23 & int4 -> int5: 「そのショットガンは狙い澄ますということはない」ということは嘘でない; int5 -> int6: 「狙い澄まさない」ものはある; int6 & fact22 -> int7: 「その九箇国条約は見窄らしいかもしくはビジネスクラスでない」ということは偽である; int3 & int7 -> int8: その九箇国条約は動作化する; int2 & int8 -> int9: 「その九箇国条約は園芸用土であるかもしくは問題等でないか両方である」ということは偽である; int9 -> int10: 「「園芸用土であるかもしくは問題等でない」ということは成り立たない」物はある;
$facts$ = fact1: 仮に「「何かは見窄らしいかもしくはそれはビジネスクラスでないかどちらもである」ということは確かだ」ということは成り立たないならそれは動作化する fact2: 仮に「易しということはない」物があればこの樹冠はＮＤＭＰだ fact3: 「そのショットガンは御飲みに成らないか縦走しないかもしくはどちらもだ」ということは誤りである fact4: 「ＮＤＭＰな」物があればその九箇国条約は成立し得るか易しかもしくは両方である fact5: なにかはＮＤＭＰでない fact6: もし仮に「そのショットガンは御飲みに成らないか縦走しない」ということは偽だとすると「それは三分二量である」ということは確かだ fact7: もしも「易しない」物があればこの樹冠は成立し得るしＮＤＭＰである fact8: 「易しない」ものはある fact9: その発揮は成立し得るしさらに子供っぽい fact10: もし仮に「狙い澄まさない」ものはあれば「その九箇国条約は見窄らしいかまたはそれはビジネスクラスであるということはない」ということは本当だということはない fact11: 仮に「「易しない」ということは確かな」物があるとしたらこの樹冠はあくどいしかつ音響機器だ fact12: その九箇国条約が成立し得るとすればこの樹冠は主尾根でない fact13: あの全身打撲が繕うしその上それは陰気臭い fact14: もし仮にそのショットガンが問題等でないならばその九箇国条約は易し一方でそれは成立し得ない fact15: 何らかのものは成立し得る fact16: 「易し」物はある fact17: もし何かは易しないならば「それは成立し得るしそれはＮＤＭＰである」ということは誤っている fact18: もし仮にある物は動作化するとすれば「園芸用土であるかもしくは問題等でないかもしくは両方ともである」ということは成り立たない fact19: 問題等はＮＤＭＰだ fact20: もし仮にそのショットガンが三分二量だとしたらそれは狙い澄まさない fact21: この樹冠はＮＤＭＰだ ; $hypothesis$ = この樹冠は成立し得るしかつＮＤＭＰだ ; $proof$ = 
fact8 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「「何かは見窄らしいかもしくはそれはビジネスクラスでないかどちらもである」ということは確かだ」ということは成り立たないならそれは動作化する
事実2: 仮に「易しということはない」物があればこの樹冠はＮＤＭＰだ
事実3: 「そのショットガンは御飲みに成らないか縦走しないかもしくはどちらもだ」ということは誤りである
事実4: 「ＮＤＭＰな」物があればその九箇国条約は成立し得るか易しかもしくは両方である
事実5: なにかはＮＤＭＰでない
事実6: もし仮に「そのショットガンは御飲みに成らないか縦走しない」ということは偽だとすると「それは三分二量である」ということは確かだ
事実7: もしも「易しない」物があればこの樹冠は成立し得るしＮＤＭＰである
事実8: 「易しない」ものはある
事実9: その発揮は成立し得るしさらに子供っぽい
事実10: もし仮に「狙い澄まさない」ものはあれば「その九箇国条約は見窄らしいかまたはそれはビジネスクラスであるということはない」ということは本当だということはない
事実11: 仮に「「易しない」ということは確かな」物があるとしたらこの樹冠はあくどいしかつ音響機器だ
事実12: その九箇国条約が成立し得るとすればこの樹冠は主尾根でない
事実13: あの全身打撲が繕うしその上それは陰気臭い
事実14: もし仮にそのショットガンが問題等でないならばその九箇国条約は易し一方でそれは成立し得ない
事実15: 何らかのものは成立し得る
事実16: 「易し」物はある
事実17: もし何かは易しないならば「それは成立し得るしそれはＮＤＭＰである」ということは誤っている
事実18: もし仮にある物は動作化するとすれば「園芸用土であるかもしくは問題等でないかもしくは両方ともである」ということは成り立たない
事実19: 問題等はＮＤＭＰだ
事実20: もし仮にそのショットガンが三分二量だとしたらそれは狙い澄まさない
事実21: この樹冠はＮＤＭＰだ

仮説: この樹冠は成立し得るしかつＮＤＭＰだ
1. 事実8と事実7から、仮説が導かれる

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