あの室傍核は荒々しい
fact1: もしとある物が若々しかないとすると歳出予算であるし山車である fact2: あの室傍核は山車であるが園児達でない fact3: もしもあの長期固定が根拠法規だとすればそれは右枝である fact4: 仮にあるものが山車であるが園児達でないならあの長期固定は独り占め出来ない fact5: その頑固者が妬まないとするとあの室傍核は荒々しいということはない fact6: 仮に「独り占め出来ない」物はあるとしたら「その大型汎用コンピュータは右枝である」ということは真実である fact7: もしその頑固者が全周囲モニターでなくて加えて荒々しくないならばその大型汎用コンピュータは妬まない fact8: その頑固者は馬鹿馬鹿しい fact9: もし仮にその頑固者は全周囲モニターでないとしたら「あの長期固定は妬むし右枝だ」ということは事実と異なる fact10: 歳出予算は全周囲モニターでないしさらに荒々しくない fact11: もし仮にその頑固者が馬鹿馬鹿しいとしたら痛ましい fact12: 苦しい右枝は妬まない fact13: もし仮にその頑固者が痛ましいししかも本田以外ならばそれは第八師団でない fact14: 「あの長期固定はしょっぱくないけどそれは根拠法規だ」ということは成り立たない fact15: もし「その日本車両製は園児達でないがしかし全周囲モニターだ」ということは間違いであるとすればあの頑固者は全周囲モニターでない fact16: その頑固者は右枝である fact17: その頑固者がしょっぱくないならあの長期固定は妬む fact18: 仮にその日本車両製が灰色っぽくないとしたらその頑固者は拾い始めるということはないがしかし本田以外だ fact19: もし「あの長期固定は妬むし更に右枝である」ということは事実と異なるとしたらあの室傍核は独り占め出来ない fact20: もし仮にあるものが妬むということはないならそれは御渡しするしそれにそれは苦しい fact21: 「その日本車両製は灰色っぽくない」ということは真実だ fact22: その頑固者は第八師団でないとすると若々しいし歳出予算である fact23: 何かは独り占め出来ればそれは苦しい fact24: 「あの長期固定はしょっぱくないけれど根拠法規だ」ということは間違っているとするとその頑固者は独り占め出来る fact25: もし「その日本車両製は本田以外であるが第八師団でない」ということは事実と異なるなら「それは若々しかない」ということは成り立つ fact26: 仮にとあるものは歳出予算であるとすると「園児達でなくておまけにそれは全周囲モニターである」ということは成り立つということはない
fact24 & fact14 -> int1: その頑固者は独り占め出来る; fact23 -> int2: その頑固者が独り占め出来るなら苦しい; int1 & int2 -> int3: その頑固者は苦しい; int3 & fact16 -> int4: その頑固者は右枝であるし更に苦しい; fact12 -> int5: もし仮にその頑固者は右枝であるしかつ苦しいとするとそれは妬まない; int4 & int5 -> int6: その頑固者は妬まない; int6 & fact5 -> hypothesis;
あの室傍核は荒々しい
fact29 -> int7: 「仮にその日本車両製は歳出予算ならば「その日本車両製は園児達でないが全周囲モニターだ」ということは偽である」ということは成り立つ; fact30 -> int8: もし仮にその日本車両製は若々しかないとすれば「それは歳出予算であるしそれに山車である」ということは事実だ;
$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: 「あの長期固定はしょっぱくないけれど根拠法規だ」ということは間違っているとするとその頑固者は独り占め出来る fact25: もし「その日本車両製は本田以外であるが第八師団でない」ということは事実と異なるなら「それは若々しかない」ということは成り立つ fact26: 仮にとあるものは歳出予算であるとすると「園児達でなくておまけにそれは全周囲モニターである」ということは成り立つということはない ; $hypothesis$ = あの室傍核は荒々しい ; $proof$ = 
fact24 & fact14 -> int1: その頑固者は独り占め出来る; fact23 -> int2: その頑固者が独り占め出来るなら苦しい; int1 & int2 -> int3: その頑固者は苦しい; int3 & fact16 -> int4: その頑固者は右枝であるし更に苦しい; fact12 -> int5: もし仮にその頑固者は右枝であるしかつ苦しいとするとそれは妬まない; int4 & int5 -> int6: その頑固者は妬まない; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしとある物が若々しかないとすると歳出予算であるし山車である
事実2: あの室傍核は山車であるが園児達でない
事実3: もしもあの長期固定が根拠法規だとすればそれは右枝である
事実4: 仮にあるものが山車であるが園児達でないならあの長期固定は独り占め出来ない
事実5: その頑固者が妬まないとするとあの室傍核は荒々しいということはない
事実6: 仮に「独り占め出来ない」物はあるとしたら「その大型汎用コンピュータは右枝である」ということは真実である
事実7: もしその頑固者が全周囲モニターでなくて加えて荒々しくないならばその大型汎用コンピュータは妬まない
事実8: その頑固者は馬鹿馬鹿しい
事実9: もし仮にその頑固者は全周囲モニターでないとしたら「あの長期固定は妬むし右枝だ」ということは事実と異なる
事実10: 歳出予算は全周囲モニターでないしさらに荒々しくない
事実11: もし仮にその頑固者が馬鹿馬鹿しいとしたら痛ましい
事実12: 苦しい右枝は妬まない
事実13: もし仮にその頑固者が痛ましいししかも本田以外ならばそれは第八師団でない
事実14: 「あの長期固定はしょっぱくないけどそれは根拠法規だ」ということは成り立たない
事実15: もし「その日本車両製は園児達でないがしかし全周囲モニターだ」ということは間違いであるとすればあの頑固者は全周囲モニターでない
事実16: その頑固者は右枝である
事実17: その頑固者がしょっぱくないならあの長期固定は妬む
事実18: 仮にその日本車両製が灰色っぽくないとしたらその頑固者は拾い始めるということはないがしかし本田以外だ
事実19: もし「あの長期固定は妬むし更に右枝である」ということは事実と異なるとしたらあの室傍核は独り占め出来ない
事実20: もし仮にあるものが妬むということはないならそれは御渡しするしそれにそれは苦しい
事実21: 「その日本車両製は灰色っぽくない」ということは真実だ
事実22: その頑固者は第八師団でないとすると若々しいし歳出予算である
事実23: 何かは独り占め出来ればそれは苦しい
事実24: 「あの長期固定はしょっぱくないけれど根拠法規だ」ということは間違っているとするとその頑固者は独り占め出来る
事実25: もし「その日本車両製は本田以外であるが第八師団でない」ということは事実と異なるなら「それは若々しかない」ということは成り立つ
事実26: 仮にとあるものは歳出予算であるとすると「園児達でなくておまけにそれは全周囲モニターである」ということは成り立つということはない

仮説: あの室傍核は荒々しい
1. 事実24と事実14から、推論1: "その頑固者は独り占め出来る"が導かれる
2. 事実23から、推論2: "その頑固者が独り占め出来るなら苦しい"が導かれる
3. 推論1と推論2から、推論3: "その頑固者は苦しい"が導かれる
4. 推論3と事実16から、推論4: "その頑固者は右枝であるし更に苦しい"が導かれる
5. 事実12から、推論5: "もし仮にその頑固者は右枝であるしかつ苦しいとするとそれは妬まない"が導かれる
6. 推論4と推論5から、推論6: "その頑固者は妬まない"が導かれる
7. 推論6と事実5から、仮説が否定される

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