「この郷校は側近達だけれど冷め易くない」ということは誤っている
fact1: 「あの脾は側近達でおまけに冷め易い」ということは成り立たない fact2: その便秘気味は公報でない fact3: 仮にその流動資産はβＰでないとすると「あの脾は物真似するしさらにそれは伸び易い」ということは成り立たない fact4: もし仮に「なにかは残存するしそれにそれは奥深い」ということは偽ならばそれは付き合えない fact5: 「仲間入りしないし遊離アミノ酸でない」物はある fact6: 「あの脾が物真似しないとするとあの脾は側近達でない」ということは成り立つ fact7: 「この郷校は側近達だし冷め易い」ということは本当でない fact8: 「あるものは物真似するし加えてそれは伸び易い」ということは誤っていればそれは側近達でない fact9: 仮にこの仏教説話集が腰抜けだとすればその流動資産は心する fact10: もしもあるものが側近達だとしたらそれは腰抜けでない fact11: 「なにがしかのものは心するがβＰでない」ということは間違いだとすれば腰抜けでない fact12: 仮にこの仏教説話集が参加し易くないならこの郷校は側近達だがそれは冷め易くない fact13: もし仮にあの脾は側近達でないなら「「この郷校は側近達である一方で冷め易くない」ということは真実である」ということは嘘である fact14: 何らかの物は参加し易いということはなくて超克しない fact15: もしも参加し易くないものが超克するとすればこの仏教説話集は腰抜けである fact16: 仮にとあるものが物真似しないならば側近達でない fact17: 仮にとある物が心するとするとそれはβＰでない fact18: もしもとある物は物真似しないとすれば「それが心するしその上それはβＰでない」ということは誤っている fact19: あの脾は側近達でないとしたら「この郷校は側近達であるしおまけに冷め易い」ということは偽である fact20: 「「その流動資産は側近達だがしかしβＰでない」ということは事実である」ということは成り立たない fact21: 「「超克しない」ということは事実である」ものはある fact22: 「参加し易い一方で超克するということはない」物はある fact23: もしも「ある物は冷め易くて物真似する」ということは確かでないとすればそれはβＰでない fact24: 仮に参加し易くない物が超克しないならばこの仏教説話集は腰抜けだ
fact14 & fact24 -> int1: この仏教説話集は腰抜けだ; int1 & fact9 -> int2: その流動資産は心する; fact17 -> int3: もしも「その流動資産は心しない」ということは嘘だとするとβＰでない; int2 & int3 -> int4: その流動資産はβＰであるということはない; int4 & fact3 -> int5: 「あの脾は物真似するし伸び易い」ということは偽だ; fact8 -> int6: もし仮に「あの脾は物真似するし伸び易い」ということは間違いであるとするとそれは側近達でない; int5 & int6 -> int7: あの脾は側近達でない; int7 & fact13 -> hypothesis;
この郷校は側近達だけど冷め易くない
fact25 -> int8: 仮に「この仏教説話集は心するけどβＰでない」ということは成り立つということはないとしたらそれは腰抜けでない; fact27 -> int9: 仮にこの仏教説話集は物真似しないなら「それは心するけどβＰでない」ということは成り立たない;
$facts$ = fact1: 「あの脾は側近達でおまけに冷め易い」ということは成り立たない fact2: その便秘気味は公報でない fact3: 仮にその流動資産はβＰでないとすると「あの脾は物真似するしさらにそれは伸び易い」ということは成り立たない fact4: もし仮に「なにかは残存するしそれにそれは奥深い」ということは偽ならばそれは付き合えない fact5: 「仲間入りしないし遊離アミノ酸でない」物はある fact6: 「あの脾が物真似しないとするとあの脾は側近達でない」ということは成り立つ fact7: 「この郷校は側近達だし冷め易い」ということは本当でない fact8: 「あるものは物真似するし加えてそれは伸び易い」ということは誤っていればそれは側近達でない fact9: 仮にこの仏教説話集が腰抜けだとすればその流動資産は心する fact10: もしもあるものが側近達だとしたらそれは腰抜けでない fact11: 「なにがしかのものは心するがβＰでない」ということは間違いだとすれば腰抜けでない fact12: 仮にこの仏教説話集が参加し易くないならこの郷校は側近達だがそれは冷め易くない fact13: もし仮にあの脾は側近達でないなら「「この郷校は側近達である一方で冷め易くない」ということは真実である」ということは嘘である fact14: 何らかの物は参加し易いということはなくて超克しない fact15: もしも参加し易くないものが超克するとすればこの仏教説話集は腰抜けである fact16: 仮にとあるものが物真似しないならば側近達でない fact17: 仮にとある物が心するとするとそれはβＰでない fact18: もしもとある物は物真似しないとすれば「それが心するしその上それはβＰでない」ということは誤っている fact19: あの脾は側近達でないとしたら「この郷校は側近達であるしおまけに冷め易い」ということは偽である fact20: 「「その流動資産は側近達だがしかしβＰでない」ということは事実である」ということは成り立たない fact21: 「「超克しない」ということは事実である」ものはある fact22: 「参加し易い一方で超克するということはない」物はある fact23: もしも「ある物は冷め易くて物真似する」ということは確かでないとすればそれはβＰでない fact24: 仮に参加し易くない物が超克しないならばこの仏教説話集は腰抜けだ ; $hypothesis$ = 「この郷校は側近達だけれど冷め易くない」ということは誤っている ; $proof$ = 
fact14 & fact24 -> int1: この仏教説話集は腰抜けだ; int1 & fact9 -> int2: その流動資産は心する; fact17 -> int3: もしも「その流動資産は心しない」ということは嘘だとするとβＰでない; int2 & int3 -> int4: その流動資産はβＰであるということはない; int4 & fact3 -> int5: 「あの脾は物真似するし伸び易い」ということは偽だ; fact8 -> int6: もし仮に「あの脾は物真似するし伸び易い」ということは間違いであるとするとそれは側近達でない; int5 & int6 -> int7: あの脾は側近達でない; int7 & fact13 -> hypothesis; __PROVED__
事実1: 「あの脾は側近達でおまけに冷め易い」ということは成り立たない
事実2: その便秘気味は公報でない
事実3: 仮にその流動資産はβＰでないとすると「あの脾は物真似するしさらにそれは伸び易い」ということは成り立たない
事実4: もし仮に「なにかは残存するしそれにそれは奥深い」ということは偽ならばそれは付き合えない
事実5: 「仲間入りしないし遊離アミノ酸でない」物はある
事実6: 「あの脾が物真似しないとするとあの脾は側近達でない」ということは成り立つ
事実7: 「この郷校は側近達だし冷め易い」ということは本当でない
事実8: 「あるものは物真似するし加えてそれは伸び易い」ということは誤っていればそれは側近達でない
事実9: 仮にこの仏教説話集が腰抜けだとすればその流動資産は心する
事実10: もしもあるものが側近達だとしたらそれは腰抜けでない
事実11: 「なにがしかのものは心するがβＰでない」ということは間違いだとすれば腰抜けでない
事実12: 仮にこの仏教説話集が参加し易くないならこの郷校は側近達だがそれは冷め易くない
事実13: もし仮にあの脾は側近達でないなら「「この郷校は側近達である一方で冷め易くない」ということは真実である」ということは嘘である
事実14: 何らかの物は参加し易いということはなくて超克しない
事実15: もしも参加し易くないものが超克するとすればこの仏教説話集は腰抜けである
事実16: 仮にとあるものが物真似しないならば側近達でない
事実17: 仮にとある物が心するとするとそれはβＰでない
事実18: もしもとある物は物真似しないとすれば「それが心するしその上それはβＰでない」ということは誤っている
事実19: あの脾は側近達でないとしたら「この郷校は側近達であるしおまけに冷め易い」ということは偽である
事実20: 「「その流動資産は側近達だがしかしβＰでない」ということは事実である」ということは成り立たない
事実21: 「「超克しない」ということは事実である」ものはある
事実22: 「参加し易い一方で超克するということはない」物はある
事実23: もしも「ある物は冷め易くて物真似する」ということは確かでないとすればそれはβＰでない
事実24: 仮に参加し易くない物が超克しないならばこの仏教説話集は腰抜けだ

仮説: 「この郷校は側近達だけれど冷め易くない」ということは誤っている
1. 事実14と事実24から、推論1: "この仏教説話集は腰抜けだ"が導かれる
2. 推論1と事実9から、推論2: "その流動資産は心する"が導かれる
3. 事実17から、推論3: "もしも「その流動資産は心しない」ということは嘘だとするとβＰでない"が導かれる
4. 推論2と推論3から、推論4: "その流動資産はβＰであるということはない"が導かれる
5. 推論4と事実3から、推論5: "「あの脾は物真似するし伸び易い」ということは偽だ"が導かれる
6. 事実8から、推論6: "もし仮に「あの脾は物真似するし伸び易い」ということは間違いであるとするとそれは側近達でない"が導かれる
7. 推論5と推論6から、推論7: "あの脾は側近達でない"が導かれる
8. 推論7と事実13から、仮説が導かれる

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