「この中一男子は投手でないしその上答え始めない」ということは偽である
fact1: 「何らかの物は参加し易いということはない一方でそれは出来難い」ということは成り立つということはないとするとそれは出来難くない fact2: 「あのＦＡＤＨは答え始めないけど成金趣味だ」ということは成り立たない fact3: あらゆる物は加入する fact4: もし仮にこの七月末日は出来難いということはないとすると「その精神疾患患者は疲れ易くなくて更に回遊するということはない」ということは成り立たない fact5: もし「なにがしかの物は加入するしまた参加し易い」ということは誤っているとするとそれは出来難くない fact6: 何らかのものは加入するとしたら「それは参加し易くないけれど出来難い」ということは成り立たない fact7: もしもこの中一男子が安しないかそれが回遊するとすると回遊する fact8: もし「出来難いということはない」ものがあるとすればこの七月末日は安しが疲れ易くない fact9: 「もしなにがしかのものは安しなら「それは回遊しなくてかつそれは答え始める」ということは成り立たない」ということは本当だ fact10: もし仮に「安しが疲れ易くない」物があるとしたらその精神疾患患者は回遊しない fact11: 仮にあの積み上げは基礎代謝であるなら「それは傾き易くないけど投手だ」ということは成り立たない fact12: この中一男子は安しないかまたは回遊するかもしくはどちらもだ fact13: 「その第三委員会は選び分けないがしかし投手だ」ということは嘘だ fact14: もしもなにかは回遊するなら「投手であるということはないし答え始めない」ということは事実と異なる fact15: 「「この中一男子は寝付きでないしかつ親しない」ということは成り立つ」ということは成り立たない
fact14 -> int1: 仮にこの中一男子は回遊するとすると「それは投手でないし答え始めない」ということは間違いだ; fact12 & fact7 -> int2: この中一男子は回遊する; int1 & int2 -> hypothesis;
fact14 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); fact12 & fact7 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
この中一男子は安しないかまたはリンク張り付けする
fact16 -> int3: もし「この七月末日は加入するししかもそれは参加し易い」ということは間違っているとすればそれは出来難くない;
$facts$ = fact1: 「何らかの物は参加し易いということはない一方でそれは出来難い」ということは成り立つということはないとするとそれは出来難くない fact2: 「あのＦＡＤＨは答え始めないけど成金趣味だ」ということは成り立たない fact3: あらゆる物は加入する fact4: もし仮にこの七月末日は出来難いということはないとすると「その精神疾患患者は疲れ易くなくて更に回遊するということはない」ということは成り立たない fact5: もし「なにがしかの物は加入するしまた参加し易い」ということは誤っているとするとそれは出来難くない fact6: 何らかのものは加入するとしたら「それは参加し易くないけれど出来難い」ということは成り立たない fact7: もしもこの中一男子が安しないかそれが回遊するとすると回遊する fact8: もし「出来難いということはない」ものがあるとすればこの七月末日は安しが疲れ易くない fact9: 「もしなにがしかのものは安しなら「それは回遊しなくてかつそれは答え始める」ということは成り立たない」ということは本当だ fact10: もし仮に「安しが疲れ易くない」物があるとしたらその精神疾患患者は回遊しない fact11: 仮にあの積み上げは基礎代謝であるなら「それは傾き易くないけど投手だ」ということは成り立たない fact12: この中一男子は安しないかまたは回遊するかもしくはどちらもだ fact13: 「その第三委員会は選び分けないがしかし投手だ」ということは嘘だ fact14: もしもなにかは回遊するなら「投手であるということはないし答え始めない」ということは事実と異なる fact15: 「「この中一男子は寝付きでないしかつ親しない」ということは成り立つ」ということは成り立たない ; $hypothesis$ = 「この中一男子は投手でないしその上答え始めない」ということは偽である ; $proof$ = 
fact14 -> int1: 仮にこの中一男子は回遊するとすると「それは投手でないし答え始めない」ということは間違いだ; fact12 & fact7 -> int2: この中一男子は回遊する; int1 & int2 -> hypothesis; __PROVED__
事実1: 「何らかの物は参加し易いということはない一方でそれは出来難い」ということは成り立つということはないとするとそれは出来難くない
事実2: 「あのＦＡＤＨは答え始めないけど成金趣味だ」ということは成り立たない
事実3: あらゆる物は加入する
事実4: もし仮にこの七月末日は出来難いということはないとすると「その精神疾患患者は疲れ易くなくて更に回遊するということはない」ということは成り立たない
事実5: もし「なにがしかの物は加入するしまた参加し易い」ということは誤っているとするとそれは出来難くない
事実6: 何らかのものは加入するとしたら「それは参加し易くないけれど出来難い」ということは成り立たない
事実7: もしもこの中一男子が安しないかそれが回遊するとすると回遊する
事実8: もし「出来難いということはない」ものがあるとすればこの七月末日は安しが疲れ易くない
事実9: 「もしなにがしかのものは安しなら「それは回遊しなくてかつそれは答え始める」ということは成り立たない」ということは本当だ
事実10: もし仮に「安しが疲れ易くない」物があるとしたらその精神疾患患者は回遊しない
事実11: 仮にあの積み上げは基礎代謝であるなら「それは傾き易くないけど投手だ」ということは成り立たない
事実12: この中一男子は安しないかまたは回遊するかもしくはどちらもだ
事実13: 「その第三委員会は選び分けないがしかし投手だ」ということは嘘だ
事実14: もしもなにかは回遊するなら「投手であるということはないし答え始めない」ということは事実と異なる
事実15: 「「この中一男子は寝付きでないしかつ親しない」ということは成り立つ」ということは成り立たない

仮説: 「この中一男子は投手でないしその上答え始めない」ということは偽である
1. 事実14から、推論1: "仮にこの中一男子は回遊するとすると「それは投手でないし答え始めない」ということは間違いだ"が導かれる
2. 事実12と事実7から、推論2: "この中一男子は回遊する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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