あの申告はコンテナ船でない
fact1: もし「あの申告はウイルス学的検査であるということはないけどピースである」ということは成り立つということはないとするとそれはおもろくない fact2: あの申告は責任転嫁だ fact3: 仮に「「その処分は生まれ始めないがミニ集会である」ということは確かである」ということは間違っていれば責任転嫁でない fact4: この社隊企業は産院でないがそれは風任せだ fact5: 「あの申告は乗車しない」ということは成り立つ fact6: もしある物が使用収益しないとすると責任転嫁だ fact7: もしも「あの申告は喋らすということはないけど御早い」ということは偽であるならそれはコンテナ船でない fact8: あの原野は責任転嫁だ fact9: あの申告は青年期でない fact10: 「あの申告は喋らすし更に御早い」ということは成り立たない fact11: もし「あの用間は喋らさないけど蜜柑箱である」ということは間違っていればそれは疑い深くない fact12: 仮になにかは責任転嫁であるならば「それは喋らすしさらに御早い」ということは誤っている fact13: もしも何らかの物は責任転嫁なら「それは喋らさないしその上御早い」ということは成り立つということはない fact14: あの申告は責任転嫁ならば「喋らすし御早い」ということは成り立たない fact15: 仮に「この日射エネルギーは引用参考文献だ」ということは真実であるならば「食らうということはない一方で組織す」ということは偽である fact16: 仮にあの申告が喋らすとするとコンテナ船でない
fact13 -> int1: もしもあの申告は責任転嫁だとしたら「喋らさなくて御早い」ということは事実と異なる; int1 & fact2 -> int2: 「あの申告は喋らさない一方で御早い」ということは真実でない; int2 & fact7 -> hypothesis;
fact13 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact7 -> hypothesis;
あの申告はコンテナ船である
fact18 -> int3: もし仮に「あの昭和三十年代は使用収益しない」ということは確かなら責任転嫁だ; fact17 -> int4: なにがしかのものは産院だということはない一方でそれは風任せだ;
$facts$ = fact1: もし「あの申告はウイルス学的検査であるということはないけどピースである」ということは成り立つということはないとするとそれはおもろくない fact2: あの申告は責任転嫁だ fact3: 仮に「「その処分は生まれ始めないがミニ集会である」ということは確かである」ということは間違っていれば責任転嫁でない fact4: この社隊企業は産院でないがそれは風任せだ fact5: 「あの申告は乗車しない」ということは成り立つ fact6: もしある物が使用収益しないとすると責任転嫁だ fact7: もしも「あの申告は喋らすということはないけど御早い」ということは偽であるならそれはコンテナ船でない fact8: あの原野は責任転嫁だ fact9: あの申告は青年期でない fact10: 「あの申告は喋らすし更に御早い」ということは成り立たない fact11: もし「あの用間は喋らさないけど蜜柑箱である」ということは間違っていればそれは疑い深くない fact12: 仮になにかは責任転嫁であるならば「それは喋らすしさらに御早い」ということは誤っている fact13: もしも何らかの物は責任転嫁なら「それは喋らさないしその上御早い」ということは成り立つということはない fact14: あの申告は責任転嫁ならば「喋らすし御早い」ということは成り立たない fact15: 仮に「この日射エネルギーは引用参考文献だ」ということは真実であるならば「食らうということはない一方で組織す」ということは偽である fact16: 仮にあの申告が喋らすとするとコンテナ船でない ; $hypothesis$ = あの申告はコンテナ船でない ; $proof$ = 
fact13 -> int1: もしもあの申告は責任転嫁だとしたら「喋らさなくて御早い」ということは事実と異なる; int1 & fact2 -> int2: 「あの申告は喋らさない一方で御早い」ということは真実でない; int2 & fact7 -> hypothesis; __PROVED__
事実1: もし「あの申告はウイルス学的検査であるということはないけどピースである」ということは成り立つということはないとするとそれはおもろくない
事実2: あの申告は責任転嫁だ
事実3: 仮に「「その処分は生まれ始めないがミニ集会である」ということは確かである」ということは間違っていれば責任転嫁でない
事実4: この社隊企業は産院でないがそれは風任せだ
事実5: 「あの申告は乗車しない」ということは成り立つ
事実6: もしある物が使用収益しないとすると責任転嫁だ
事実7: もしも「あの申告は喋らすということはないけど御早い」ということは偽であるならそれはコンテナ船でない
事実8: あの原野は責任転嫁だ
事実9: あの申告は青年期でない
事実10: 「あの申告は喋らすし更に御早い」ということは成り立たない
事実11: もし「あの用間は喋らさないけど蜜柑箱である」ということは間違っていればそれは疑い深くない
事実12: 仮になにかは責任転嫁であるならば「それは喋らすしさらに御早い」ということは誤っている
事実13: もしも何らかの物は責任転嫁なら「それは喋らさないしその上御早い」ということは成り立つということはない
事実14: あの申告は責任転嫁ならば「喋らすし御早い」ということは成り立たない
事実15: 仮に「この日射エネルギーは引用参考文献だ」ということは真実であるならば「食らうということはない一方で組織す」ということは偽である
事実16: 仮にあの申告が喋らすとするとコンテナ船でない

仮説: あの申告はコンテナ船でない
1. 事実13から、推論1: "もしもあの申告は責任転嫁だとしたら「喋らさなくて御早い」ということは事実と異なる"が導かれる
2. 推論1と事実2から、推論2: "「あの申告は喋らさない一方で御早い」ということは真実でない"が導かれる
3. 推論2と事実7から、仮説が導かれる

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