この一足は奥深いけど残差でない
fact1: 仮に「この一足は二十五日移動平均線であるけど入国しない」ということは嘘だとするとそれは残差でない fact2: 「「この納金は言語問題であるけど農薬でない」ということは事実でないとすればあの納金は懇親会でない」ということは事実である fact3: 「この一足は生食するけどそれは堪え得るということはない」ということは嘘である fact4: 「この一足は学するが二十五日移動平均線でない」ということは成り立たない fact5: 「この信心家は生食する」ということは事実である fact6: この一足はバーチャル・コミュニティであるがしかし最大化しない fact7: もし「この一足は奥深くない」ということは事実であるならば「それは生食しない」ということは事実だ fact8: もしも「「この一足は奥深い一方で残差でない」ということは真実だ」ということは成り立たないならばそれは生食しない fact9: この一足が理解し辛いとすればそのガス消費量は奥深い fact10: この排泄物は奥深い fact11: この一足は奥深い fact12: 「この一足は生食する」ということは事実である fact13: 「この一足はマルクス病である一方で生まれ立てでない」ということは偽だ
void -> assump1: 以下のように仮定する。「この一足は奥深いが残差でない」ということは成り立たない; fact8 & assump1 -> int1: この一足は生食しない; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
そのガス消費量は奥深い
$facts$ = fact1: 仮に「この一足は二十五日移動平均線であるけど入国しない」ということは嘘だとするとそれは残差でない fact2: 「「この納金は言語問題であるけど農薬でない」ということは事実でないとすればあの納金は懇親会でない」ということは事実である fact3: 「この一足は生食するけどそれは堪え得るということはない」ということは嘘である fact4: 「この一足は学するが二十五日移動平均線でない」ということは成り立たない fact5: 「この信心家は生食する」ということは事実である fact6: この一足はバーチャル・コミュニティであるがしかし最大化しない fact7: もし「この一足は奥深くない」ということは事実であるならば「それは生食しない」ということは事実だ fact8: もしも「「この一足は奥深い一方で残差でない」ということは真実だ」ということは成り立たないならばそれは生食しない fact9: この一足が理解し辛いとすればそのガス消費量は奥深い fact10: この排泄物は奥深い fact11: この一足は奥深い fact12: 「この一足は生食する」ということは事実である fact13: 「この一足はマルクス病である一方で生まれ立てでない」ということは偽だ ; $hypothesis$ = この一足は奥深いけど残差でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この一足は奥深いが残差でない」ということは成り立たない; fact8 & assump1 -> int1: この一足は生食しない; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮に「この一足は二十五日移動平均線であるけど入国しない」ということは嘘だとするとそれは残差でない
事実2: 「「この納金は言語問題であるけど農薬でない」ということは事実でないとすればあの納金は懇親会でない」ということは事実である
事実3: 「この一足は生食するけどそれは堪え得るということはない」ということは嘘である
事実4: 「この一足は学するが二十五日移動平均線でない」ということは成り立たない
事実5: 「この信心家は生食する」ということは事実である
事実6: この一足はバーチャル・コミュニティであるがしかし最大化しない
事実7: もし「この一足は奥深くない」ということは事実であるならば「それは生食しない」ということは事実だ
事実8: もしも「「この一足は奥深い一方で残差でない」ということは真実だ」ということは成り立たないならばそれは生食しない
事実9: この一足が理解し辛いとすればそのガス消費量は奥深い
事実10: この排泄物は奥深い
事実11: この一足は奥深い
事実12: 「この一足は生食する」ということは事実である
事実13: 「この一足はマルクス病である一方で生まれ立てでない」ということは偽だ

仮説: この一足は奥深いけど残差でない
1. 仮定1: 以下のように仮定する。「この一足は奥深いが残差でない」ということは成り立たない
2. 事実8と仮定1から、推論1: "この一足は生食しない"が導かれる
3. 推論1と事実12から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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