あの言い出竹篦は寝苦しくない
fact1: 姫神社は豚草である fact2: もし仮にあの言い出竹篦は豚草でないならば「呼び寄せるし更に姫神社でない」ということは成り立たない fact3: 「へらへらするし要求す」物はある fact4: 仮に「豚草である」ものはあるとしたら「あのバッジは豚草でないし合い難いということはない」ということは間違いだ fact5: あの言い出竹篦は答え難い fact6: そのＥＵＳは要求す fact7: なにかは要求す fact8: 合い難いものは答え難い fact9: 何かはへらへらしない fact10: そのＥＵＳは答え難い fact11: そのＥＵＳが答え難いとしたらそれはへらへらしなくてそれは要求す fact12: もしも「何かは呼び寄せるがしかしそれは姫神社でない」ということは成り立たないとしたら呼び寄せない fact13: 「あの言い出竹篦は来校しないしそれは御試し有らない」ということは成り立たないとすると豚草でない fact14: もし仮に「へらへらしないけど要求す」ものがあるならばあの言い出竹篦は寝苦しい fact15: そのＥＵＳは姫神社であるかそれは呼び寄せる fact16: もし「そのＥＵＳは寝苦しい」ということは成り立つとすると「へらへらしない」ということは成り立つ fact17: もしも「何かは豚草でないし合い難くない」ということは成り立たないならばそれは合い難い fact18: もしもなんらかのものが呼び寄せないなら答え難いし合い難い fact19: もしもそのＥＵＳが答え難いならば要求す
fact11 & fact10 -> int1: そのＥＵＳはへらへらしないけれど要求す; int1 -> int2: なんらかの物はへらへらしないけれど要求す; int2 & fact14 -> hypothesis;
fact11 & fact10 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: (Ex): (¬{AA}x & {AB}x); int2 & fact14 -> hypothesis;
あのバッジは寝苦しくないけれど勝ち越す
fact21 -> int3: もし仮にあのバッジが合い難いなら答え難い; fact20 -> int4: 「あのバッジは豚草でないしそれは合い難くない」ということは嘘ならそれは合い難い; fact22 -> int5: もしそのＥＵＳは姫神社なら「豚草だ」ということは事実である;
$facts$ = fact1: 姫神社は豚草である fact2: もし仮にあの言い出竹篦は豚草でないならば「呼び寄せるし更に姫神社でない」ということは成り立たない fact3: 「へらへらするし要求す」物はある fact4: 仮に「豚草である」ものはあるとしたら「あのバッジは豚草でないし合い難いということはない」ということは間違いだ fact5: あの言い出竹篦は答え難い fact6: そのＥＵＳは要求す fact7: なにかは要求す fact8: 合い難いものは答え難い fact9: 何かはへらへらしない fact10: そのＥＵＳは答え難い fact11: そのＥＵＳが答え難いとしたらそれはへらへらしなくてそれは要求す fact12: もしも「何かは呼び寄せるがしかしそれは姫神社でない」ということは成り立たないとしたら呼び寄せない fact13: 「あの言い出竹篦は来校しないしそれは御試し有らない」ということは成り立たないとすると豚草でない fact14: もし仮に「へらへらしないけど要求す」ものがあるならばあの言い出竹篦は寝苦しい fact15: そのＥＵＳは姫神社であるかそれは呼び寄せる fact16: もし「そのＥＵＳは寝苦しい」ということは成り立つとすると「へらへらしない」ということは成り立つ fact17: もしも「何かは豚草でないし合い難くない」ということは成り立たないならばそれは合い難い fact18: もしもなんらかのものが呼び寄せないなら答え難いし合い難い fact19: もしもそのＥＵＳが答え難いならば要求す ; $hypothesis$ = あの言い出竹篦は寝苦しくない ; $proof$ = 
fact11 & fact10 -> int1: そのＥＵＳはへらへらしないけれど要求す; int1 -> int2: なんらかの物はへらへらしないけれど要求す; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: 姫神社は豚草である
事実2: もし仮にあの言い出竹篦は豚草でないならば「呼び寄せるし更に姫神社でない」ということは成り立たない
事実3: 「へらへらするし要求す」物はある
事実4: 仮に「豚草である」ものはあるとしたら「あのバッジは豚草でないし合い難いということはない」ということは間違いだ
事実5: あの言い出竹篦は答え難い
事実6: そのＥＵＳは要求す
事実7: なにかは要求す
事実8: 合い難いものは答え難い
事実9: 何かはへらへらしない
事実10: そのＥＵＳは答え難い
事実11: そのＥＵＳが答え難いとしたらそれはへらへらしなくてそれは要求す
事実12: もしも「何かは呼び寄せるがしかしそれは姫神社でない」ということは成り立たないとしたら呼び寄せない
事実13: 「あの言い出竹篦は来校しないしそれは御試し有らない」ということは成り立たないとすると豚草でない
事実14: もし仮に「へらへらしないけど要求す」ものがあるならばあの言い出竹篦は寝苦しい
事実15: そのＥＵＳは姫神社であるかそれは呼び寄せる
事実16: もし「そのＥＵＳは寝苦しい」ということは成り立つとすると「へらへらしない」ということは成り立つ
事実17: もしも「何かは豚草でないし合い難くない」ということは成り立たないならばそれは合い難い
事実18: もしもなんらかのものが呼び寄せないなら答え難いし合い難い
事実19: もしもそのＥＵＳが答え難いならば要求す

仮説: あの言い出竹篦は寝苦しくない
1. 事実11と事実10から、推論1: "そのＥＵＳはへらへらしないけれど要求す"が導かれる
2. 推論1から、推論2: "なんらかの物はへらへらしないけれど要求す"が導かれる
3. 推論2と事実14から、仮説が否定される

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