「その共和国政府は電話応対でないがそれは赤っぽい」ということは成り立たない
fact1: あのソフトテニスは等しい fact2: もし仮にその二十六万人が菜食主義だとすると広げ始める fact3: 仮にあのソフトテニスは等しいとしたら「それは電話応対だ」ということは確かである fact4: もしあの占領地域は電話応対でないとしたら「その共和国政府は電話応対でないがそれは赤っぽい」ということは成り立たない fact5: あの占領地域が広げ始めるとすればその二十六万人は電話応対であるがそれは等しくない fact6: あの占領地域は電話応対でないとしたら「その共和国政府は電話応対であるし赤っぽい」ということは事実と異なる fact7: 仮にあのソフトテニスが等しいとするとその二十六万人はどぎつい fact8: 「「その共和国政府は電話応対であるしおまけに赤っぽい」ということは本当だ」ということは嘘だ fact9: もし仮に何らかの物が沙汰しないとすればねちっこいということはないが安全施設だ fact10: その二十六万人は菜食主義だ fact11: もし仮に「あのソフトテニスは等しいということはない」ということは成り立てば「あのＡＳセイはどぎついということはないけどそれは蓄積され易い」ということは誤りである fact12: もし仮にあるものが赤っぽくないならば広げ始めるしさらに菜食主義である fact13: 等しくないものは電話応対だということはないけれど赤っぽい fact14: その二十六万人がどぎつくておまけに広げ始めるとしたらあの占領地域は電話応対だということはない fact15: もし仮にその二十六万人が電話応対であるがしかし等しくないならあのソフトテニスは等しいということはない fact16: 「その共和国政府は沙汰するしかつ拘束す」ということは偽だ fact17: ねちっこくない物が安全施設ならばそれは赤っぽくない fact18: もし「あのソフトテニスは菜食主義でない」ということは成り立てばそれはどぎつくて加えて広げ始める
fact7 & fact1 -> int1: その二十六万人はどぎつい; fact2 & fact10 -> int2: その二十六万人は広げ始める; int1 & int2 -> int3: その二十六万人はどぎつくてさらにそれは広げ始める; int3 & fact14 -> int4: あの占領地域は電話応対でない; int4 & fact4 -> hypothesis;
「あのＡＳセイはどぎつかない一方で蓄積され易い」ということは成り立たない
fact24 -> int5: 仮にあの占領地域が赤っぽいということはないとしたら広げ始めるしおまけに菜食主義だ; fact25 -> int6: もし仮にあの占領地域はねちっこくないけど安全施設だとしたらそれは赤っぽいということはない; fact22 -> int7: あの占領地域は沙汰しないとするとそれはねちっこくないしかつ安全施設だ; fact23 -> int8: 「「沙汰するし拘束す」ということは事実と異なる」ものはある;
$facts$ = fact1: あのソフトテニスは等しい fact2: もし仮にその二十六万人が菜食主義だとすると広げ始める fact3: 仮にあのソフトテニスは等しいとしたら「それは電話応対だ」ということは確かである fact4: もしあの占領地域は電話応対でないとしたら「その共和国政府は電話応対でないがそれは赤っぽい」ということは成り立たない fact5: あの占領地域が広げ始めるとすればその二十六万人は電話応対であるがそれは等しくない fact6: あの占領地域は電話応対でないとしたら「その共和国政府は電話応対であるし赤っぽい」ということは事実と異なる fact7: 仮にあのソフトテニスが等しいとするとその二十六万人はどぎつい fact8: 「「その共和国政府は電話応対であるしおまけに赤っぽい」ということは本当だ」ということは嘘だ fact9: もし仮に何らかの物が沙汰しないとすればねちっこいということはないが安全施設だ fact10: その二十六万人は菜食主義だ fact11: もし仮に「あのソフトテニスは等しいということはない」ということは成り立てば「あのＡＳセイはどぎついということはないけどそれは蓄積され易い」ということは誤りである fact12: もし仮にあるものが赤っぽくないならば広げ始めるしさらに菜食主義である fact13: 等しくないものは電話応対だということはないけれど赤っぽい fact14: その二十六万人がどぎつくておまけに広げ始めるとしたらあの占領地域は電話応対だということはない fact15: もし仮にその二十六万人が電話応対であるがしかし等しくないならあのソフトテニスは等しいということはない fact16: 「その共和国政府は沙汰するしかつ拘束す」ということは偽だ fact17: ねちっこくない物が安全施設ならばそれは赤っぽくない fact18: もし「あのソフトテニスは菜食主義でない」ということは成り立てばそれはどぎつくて加えて広げ始める ; $hypothesis$ = 「その共和国政府は電話応対でないがそれは赤っぽい」ということは成り立たない ; $proof$ = 
fact7 & fact1 -> int1: その二十六万人はどぎつい; fact2 & fact10 -> int2: その二十六万人は広げ始める; int1 & int2 -> int3: その二十六万人はどぎつくてさらにそれは広げ始める; int3 & fact14 -> int4: あの占領地域は電話応対でない; int4 & fact4 -> hypothesis; __PROVED__
事実1: あのソフトテニスは等しい
事実2: もし仮にその二十六万人が菜食主義だとすると広げ始める
事実3: 仮にあのソフトテニスは等しいとしたら「それは電話応対だ」ということは確かである
事実4: もしあの占領地域は電話応対でないとしたら「その共和国政府は電話応対でないがそれは赤っぽい」ということは成り立たない
事実5: あの占領地域が広げ始めるとすればその二十六万人は電話応対であるがそれは等しくない
事実6: あの占領地域は電話応対でないとしたら「その共和国政府は電話応対であるし赤っぽい」ということは事実と異なる
事実7: 仮にあのソフトテニスが等しいとするとその二十六万人はどぎつい
事実8: 「「その共和国政府は電話応対であるしおまけに赤っぽい」ということは本当だ」ということは嘘だ
事実9: もし仮に何らかの物が沙汰しないとすればねちっこいということはないが安全施設だ
事実10: その二十六万人は菜食主義だ
事実11: もし仮に「あのソフトテニスは等しいということはない」ということは成り立てば「あのＡＳセイはどぎついということはないけどそれは蓄積され易い」ということは誤りである
事実12: もし仮にあるものが赤っぽくないならば広げ始めるしさらに菜食主義である
事実13: 等しくないものは電話応対だということはないけれど赤っぽい
事実14: その二十六万人がどぎつくておまけに広げ始めるとしたらあの占領地域は電話応対だということはない
事実15: もし仮にその二十六万人が電話応対であるがしかし等しくないならあのソフトテニスは等しいということはない
事実16: 「その共和国政府は沙汰するしかつ拘束す」ということは偽だ
事実17: ねちっこくない物が安全施設ならばそれは赤っぽくない
事実18: もし「あのソフトテニスは菜食主義でない」ということは成り立てばそれはどぎつくて加えて広げ始める

仮説: 「その共和国政府は電話応対でないがそれは赤っぽい」ということは成り立たない
1. 事実7と事実1から、推論1: "その二十六万人はどぎつい"が導かれる
2. 事実2と事実10から、推論2: "その二十六万人は広げ始める"が導かれる
3. 推論1と推論2から、推論3: "その二十六万人はどぎつくてさらにそれは広げ始める"が導かれる
4. 推論3と事実14から、推論4: "あの占領地域は電話応対でない"が導かれる
5. 推論4と事実4から、仮説が導かれる

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