このテロ発生は応援席であるかもしくはそれは小宰だ
fact1: もしもその自堕落は血合いでないならばそれは現われ易い fact2: このテロ発生は取れ易い fact3: もし現われ易くない物が苛めるということはないならば血合いでない fact4: 仮になんらかの物が血合いでないなら取れ易くないしそれは押さえ難くない fact5: もし仮にこのＡＥが御祭りであるならばこのテロ発生は小宰だ fact6: その自堕落は取れ易いかそれは現われ易い fact7: 「取れ易い」物はある fact8: もしもそのキャリア・エデュケーションは農業関係でないとしたら「それは寝転がらないしそれにそれは哲学史だ」ということは嘘だ fact9: その自堕落は現われ易い fact10: もし仮にそのテストが取れ易いけど現われ易くないとすればその自堕落は血合いである fact11: もしもその自堕落が御祭りでないとしたらそのテストは現われ易くないし苛めるということはない fact12: もしもとあるものが血合いでないならば現われ易いししかもそれは苛めない fact13: 仮にそのテストは押さえ難くないならば「このテロ発生は応援席であるかもしくは小宰であるかまたはどちらもだ」ということは事実と異なる fact14: 仮になんらかの物が血合いでないとすればそれは現われ易い fact15: 「もし仮にその自堕落が現われ易い一方で苛めないとしたらこのＡＥは御祭りだ」ということは正しい fact16: もし押さえ難い物が取れ易いならその自堕落は血合いでない fact17: なにかは血合いだし加えて小宰だ fact18: 仮に「このＡＥは出世出来る」ということは正しいとすると「「その自堕落は延伸しないがしかし御祭りだ」ということは事実と異なる」ということは正しい fact19: そのテストは押さえ難い fact20: そのキャリア・エデュケーションは農業関係でない fact21: もし仮に「なにがしかのものは延伸しないが御祭りだ」ということは真実でないとすれば御祭りでない fact22: そのテストは取れ易い
fact19 & fact22 -> int1: そのテストは押さえ難いし取れ易い; int1 -> int2: 「押さえ難いしまた取れ易い」ものはある; int2 & fact16 -> int3: その自堕落は血合いでない; fact12 -> int4: もしその自堕落が血合いでないとしたら現われ易くてそれに苛めない; int3 & int4 -> int5: その自堕落は現われ易いがしかしそれは苛めない; int5 & fact15 -> int6: このＡＥは御祭りだ; int6 & fact5 -> int7: このテロ発生は小宰である; int7 -> hypothesis;
「このテロ発生は応援席であるかまたはそれは小宰だ」ということは成り立つということはない
fact25 -> int8: もし仮にそのテストが血合いでないならばそれは取れ易くないし押さえ難くない; fact28 -> int9: もし仮にそのテストは現われ易いということはなくてそれに苛めないならば「血合いであるということはない」ということは事実である; fact29 -> int10: 「その自堕落は延伸しないけれど御祭りだ」ということは間違っているならそれは御祭りでない; fact27 & fact24 -> int11: 「そのキャリア・エデュケーションは寝転がらないけれどそれは哲学史である」ということは間違っている; int11 -> int12: 「「寝転がらない一方で哲学史だ」ということは誤りな」物はある;
$facts$ = fact1: もしもその自堕落は血合いでないならばそれは現われ易い fact2: このテロ発生は取れ易い fact3: もし現われ易くない物が苛めるということはないならば血合いでない fact4: 仮になんらかの物が血合いでないなら取れ易くないしそれは押さえ難くない fact5: もし仮にこのＡＥが御祭りであるならばこのテロ発生は小宰だ fact6: その自堕落は取れ易いかそれは現われ易い fact7: 「取れ易い」物はある fact8: もしもそのキャリア・エデュケーションは農業関係でないとしたら「それは寝転がらないしそれにそれは哲学史だ」ということは嘘だ fact9: その自堕落は現われ易い fact10: もし仮にそのテストが取れ易いけど現われ易くないとすればその自堕落は血合いである fact11: もしもその自堕落が御祭りでないとしたらそのテストは現われ易くないし苛めるということはない fact12: もしもとあるものが血合いでないならば現われ易いししかもそれは苛めない fact13: 仮にそのテストは押さえ難くないならば「このテロ発生は応援席であるかもしくは小宰であるかまたはどちらもだ」ということは事実と異なる fact14: 仮になんらかの物が血合いでないとすればそれは現われ易い fact15: 「もし仮にその自堕落が現われ易い一方で苛めないとしたらこのＡＥは御祭りだ」ということは正しい fact16: もし押さえ難い物が取れ易いならその自堕落は血合いでない fact17: なにかは血合いだし加えて小宰だ fact18: 仮に「このＡＥは出世出来る」ということは正しいとすると「「その自堕落は延伸しないがしかし御祭りだ」ということは事実と異なる」ということは正しい fact19: そのテストは押さえ難い fact20: そのキャリア・エデュケーションは農業関係でない fact21: もし仮に「なにがしかのものは延伸しないが御祭りだ」ということは真実でないとすれば御祭りでない fact22: そのテストは取れ易い ; $hypothesis$ = このテロ発生は応援席であるかもしくはそれは小宰だ ; $proof$ = 
fact19 & fact22 -> int1: そのテストは押さえ難いし取れ易い; int1 -> int2: 「押さえ難いしまた取れ易い」ものはある; int2 & fact16 -> int3: その自堕落は血合いでない; fact12 -> int4: もしその自堕落が血合いでないとしたら現われ易くてそれに苛めない; int3 & int4 -> int5: その自堕落は現われ易いがしかしそれは苛めない; int5 & fact15 -> int6: このＡＥは御祭りだ; int6 & fact5 -> int7: このテロ発生は小宰である; int7 -> hypothesis; __PROVED__
事実1: もしもその自堕落は血合いでないならばそれは現われ易い
事実2: このテロ発生は取れ易い
事実3: もし現われ易くない物が苛めるということはないならば血合いでない
事実4: 仮になんらかの物が血合いでないなら取れ易くないしそれは押さえ難くない
事実5: もし仮にこのＡＥが御祭りであるならばこのテロ発生は小宰だ
事実6: その自堕落は取れ易いかそれは現われ易い
事実7: 「取れ易い」物はある
事実8: もしもそのキャリア・エデュケーションは農業関係でないとしたら「それは寝転がらないしそれにそれは哲学史だ」ということは嘘だ
事実9: その自堕落は現われ易い
事実10: もし仮にそのテストが取れ易いけど現われ易くないとすればその自堕落は血合いである
事実11: もしもその自堕落が御祭りでないとしたらそのテストは現われ易くないし苛めるということはない
事実12: もしもとあるものが血合いでないならば現われ易いししかもそれは苛めない
事実13: 仮にそのテストは押さえ難くないならば「このテロ発生は応援席であるかもしくは小宰であるかまたはどちらもだ」ということは事実と異なる
事実14: 仮になんらかの物が血合いでないとすればそれは現われ易い
事実15: 「もし仮にその自堕落が現われ易い一方で苛めないとしたらこのＡＥは御祭りだ」ということは正しい
事実16: もし押さえ難い物が取れ易いならその自堕落は血合いでない
事実17: なにかは血合いだし加えて小宰だ
事実18: 仮に「このＡＥは出世出来る」ということは正しいとすると「「その自堕落は延伸しないがしかし御祭りだ」ということは事実と異なる」ということは正しい
事実19: そのテストは押さえ難い
事実20: そのキャリア・エデュケーションは農業関係でない
事実21: もし仮に「なにがしかのものは延伸しないが御祭りだ」ということは真実でないとすれば御祭りでない
事実22: そのテストは取れ易い

仮説: このテロ発生は応援席であるかもしくはそれは小宰だ
1. 事実19と事実22から、推論1: "そのテストは押さえ難いし取れ易い"が導かれる
2. 推論1から、推論2: "「押さえ難いしまた取れ易い」ものはある"が導かれる
3. 推論2と事実16から、推論3: "その自堕落は血合いでない"が導かれる
4. 事実12から、推論4: "もしその自堕落が血合いでないとしたら現われ易くてそれに苛めない"が導かれる
5. 推論3と推論4から、推論5: "その自堕落は現われ易いがしかしそれは苛めない"が導かれる
6. 推論5と事実15から、推論6: "このＡＥは御祭りだ"が導かれる
7. 推論6と事実5から、推論7: "このテロ発生は小宰である"が導かれる
8. 推論7から、仮説が導かれる

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