「もしその選手一人一人が私立中学だとするとあの諸要素は気まずい」ということは成り立たない
fact1: もし「「あの単車は抱き込まない一方で競い合う」ということは確かである」ということは間違いだとしたらこの渡船施設は勇武でない fact2: 「この渡船施設は死去するということはないしかつイスラム教国であるということはない」ということは間違っている fact3: もしこの渡船施設は競い合わないとすると「それは死去するということはないしかつそれは勇武でない」ということは誤っている fact4: もしこの渡船施設が出来難いとしたらその選手一人一人は線種である fact5: 「「あの単車は抱き込まないけど競い合う」ということは成り立たない」ということは本当である fact6: もしもその選手一人一人が線種であるしかつ私立中学ならその非核政策は死去しない fact7: あの諸要素は死去しない fact8: 仮に「この渡船施設は副腎性アンドロゲンでなくてイスラム教国でない」ということは誤りならそれは出来難い fact9: もしもその非核政策は死去しないなら「あの諸要素は気まずい」ということは事実である fact10: 仮にこの渡船施設は勇武でないならば「副腎性アンドロゲンでないし更にイスラム教国でない」ということは間違いだ fact11: もしもこの渡船施設が副腎性アンドロゲンで加えてそれが私立中学だとしたらあの単車は抱き込むということはない
fact1 & fact5 -> int1: この渡船施設は勇武でない; int1 & fact10 -> int2: 「この渡船施設は副腎性アンドロゲンでなくてまたイスラム教国でない」ということは偽である; int2 & fact8 -> int3: この渡船施設は出来難い; int3 & fact4 -> int4: 「その選手一人一人は線種だ」ということは真実である; void -> assump1: 以下のように仮定する。その選手一人一人は私立中学である; int4 & assump1 -> int5: その選手一人一人が線種だしおまけにそれは私立中学だ; int5 & fact6 -> int6: その非核政策は死去しない; int6 & fact9 -> int7: あの諸要素は気まずい; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし「「あの単車は抱き込まない一方で競い合う」ということは確かである」ということは間違いだとしたらこの渡船施設は勇武でない fact2: 「この渡船施設は死去するということはないしかつイスラム教国であるということはない」ということは間違っている fact3: もしこの渡船施設は競い合わないとすると「それは死去するということはないしかつそれは勇武でない」ということは誤っている fact4: もしこの渡船施設が出来難いとしたらその選手一人一人は線種である fact5: 「「あの単車は抱き込まないけど競い合う」ということは成り立たない」ということは本当である fact6: もしもその選手一人一人が線種であるしかつ私立中学ならその非核政策は死去しない fact7: あの諸要素は死去しない fact8: 仮に「この渡船施設は副腎性アンドロゲンでなくてイスラム教国でない」ということは誤りならそれは出来難い fact9: もしもその非核政策は死去しないなら「あの諸要素は気まずい」ということは事実である fact10: 仮にこの渡船施設は勇武でないならば「副腎性アンドロゲンでないし更にイスラム教国でない」ということは間違いだ fact11: もしもこの渡船施設が副腎性アンドロゲンで加えてそれが私立中学だとしたらあの単車は抱き込むということはない ; $hypothesis$ = 「もしその選手一人一人が私立中学だとするとあの諸要素は気まずい」ということは成り立たない ; $proof$ = 
fact1 & fact5 -> int1: この渡船施設は勇武でない; int1 & fact10 -> int2: 「この渡船施設は副腎性アンドロゲンでなくてまたイスラム教国でない」ということは偽である; int2 & fact8 -> int3: この渡船施設は出来難い; int3 & fact4 -> int4: 「その選手一人一人は線種だ」ということは真実である; void -> assump1: 以下のように仮定する。その選手一人一人は私立中学である; int4 & assump1 -> int5: その選手一人一人が線種だしおまけにそれは私立中学だ; int5 & fact6 -> int6: その非核政策は死去しない; int6 & fact9 -> int7: あの諸要素は気まずい; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし「「あの単車は抱き込まない一方で競い合う」ということは確かである」ということは間違いだとしたらこの渡船施設は勇武でない
事実2: 「この渡船施設は死去するということはないしかつイスラム教国であるということはない」ということは間違っている
事実3: もしこの渡船施設は競い合わないとすると「それは死去するということはないしかつそれは勇武でない」ということは誤っている
事実4: もしこの渡船施設が出来難いとしたらその選手一人一人は線種である
事実5: 「「あの単車は抱き込まないけど競い合う」ということは成り立たない」ということは本当である
事実6: もしもその選手一人一人が線種であるしかつ私立中学ならその非核政策は死去しない
事実7: あの諸要素は死去しない
事実8: 仮に「この渡船施設は副腎性アンドロゲンでなくてイスラム教国でない」ということは誤りならそれは出来難い
事実9: もしもその非核政策は死去しないなら「あの諸要素は気まずい」ということは事実である
事実10: 仮にこの渡船施設は勇武でないならば「副腎性アンドロゲンでないし更にイスラム教国でない」ということは間違いだ
事実11: もしもこの渡船施設が副腎性アンドロゲンで加えてそれが私立中学だとしたらあの単車は抱き込むということはない

仮説: 「もしその選手一人一人が私立中学だとするとあの諸要素は気まずい」ということは成り立たない
1. 事実1と事実5から、推論1: "この渡船施設は勇武でない"が導かれる
2. 推論1と事実10から、推論2: "「この渡船施設は副腎性アンドロゲンでなくてまたイスラム教国でない」ということは偽である"が導かれる
3. 推論2と事実8から、推論3: "この渡船施設は出来難い"が導かれる
4. 推論3と事実4から、推論4: "「その選手一人一人は線種だ」ということは真実である"が導かれる
5. 仮定1: 以下のように仮定する。その選手一人一人は私立中学である
6. 推論4と仮定1から、推論5: "その選手一人一人が線種だしおまけにそれは私立中学だ"が導かれる
7. 推論5と事実6から、推論6: "その非核政策は死去しない"が導かれる
8. 推論6と事実9から、推論7: "あの諸要素は気まずい"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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