その下垂体門脈は地中海沿岸だということはなくてしかも悪戯っぽくない
fact1: その下垂体門脈は獲得し始める fact2: もしもこの両足首が悪戯っぽくないとすればその下垂体門脈は地中海沿岸でないししかも悪戯っぽくない fact3: その下垂体門脈は悪戯っぽくない fact4: この囲口膜は地中海沿岸でなくてまたちぎれ易くない fact5: もし仮に「あの農民戸籍は勿体無くてさらに獲得し始める」ということは確かであるならばあの両足首は悪戯っぽいということはない fact6: この両足首は落ち着き為さるし加えて二学期制だ fact7: あの農民戸籍は勿体無いし悪戯っぽい fact8: 何かは赤黒いなら「それは地中海沿岸でないし悪戯っぽくない」ということは成り立たない fact9: 地中海沿岸は空揚げでないしさらに眩くない fact10: あの農民戸籍は勿体無くて獲得し始める fact11: この両足首は赤黒いなら「あの農民戸籍は赤黒い」ということは本当だ
fact5 & fact10 -> int1: この両足首は悪戯っぽいということはない; int1 & fact2 -> hypothesis;
fact5 & fact10 -> int1: ¬{B}{b}; int1 & fact2 -> hypothesis;
この肘掛け椅子は空揚げでなくてそれは眩いということはない
fact12 -> int2: もし仮に「この肘掛け椅子は地中海沿岸である」ということは成り立つならそれは空揚げでないし眩くない;
$facts$ = fact1: その下垂体門脈は獲得し始める fact2: もしもこの両足首が悪戯っぽくないとすればその下垂体門脈は地中海沿岸でないししかも悪戯っぽくない fact3: その下垂体門脈は悪戯っぽくない fact4: この囲口膜は地中海沿岸でなくてまたちぎれ易くない fact5: もし仮に「あの農民戸籍は勿体無くてさらに獲得し始める」ということは確かであるならばあの両足首は悪戯っぽいということはない fact6: この両足首は落ち着き為さるし加えて二学期制だ fact7: あの農民戸籍は勿体無いし悪戯っぽい fact8: 何かは赤黒いなら「それは地中海沿岸でないし悪戯っぽくない」ということは成り立たない fact9: 地中海沿岸は空揚げでないしさらに眩くない fact10: あの農民戸籍は勿体無くて獲得し始める fact11: この両足首は赤黒いなら「あの農民戸籍は赤黒い」ということは本当だ ; $hypothesis$ = その下垂体門脈は地中海沿岸だということはなくてしかも悪戯っぽくない ; $proof$ = 
fact5 & fact10 -> int1: この両足首は悪戯っぽいということはない; int1 & fact2 -> hypothesis; __PROVED__
事実1: その下垂体門脈は獲得し始める
事実2: もしもこの両足首が悪戯っぽくないとすればその下垂体門脈は地中海沿岸でないししかも悪戯っぽくない
事実3: その下垂体門脈は悪戯っぽくない
事実4: この囲口膜は地中海沿岸でなくてまたちぎれ易くない
事実5: もし仮に「あの農民戸籍は勿体無くてさらに獲得し始める」ということは確かであるならばあの両足首は悪戯っぽいということはない
事実6: この両足首は落ち着き為さるし加えて二学期制だ
事実7: あの農民戸籍は勿体無いし悪戯っぽい
事実8: 何かは赤黒いなら「それは地中海沿岸でないし悪戯っぽくない」ということは成り立たない
事実9: 地中海沿岸は空揚げでないしさらに眩くない
事実10: あの農民戸籍は勿体無くて獲得し始める
事実11: この両足首は赤黒いなら「あの農民戸籍は赤黒い」ということは本当だ

仮説: その下垂体門脈は地中海沿岸だということはなくてしかも悪戯っぽくない
1. 事実5と事実10から、推論1: "この両足首は悪戯っぽいということはない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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