「この商品引き渡しは腹立たしいということはなくて加えてそれはすりゃ良くない」ということは成り立たない
fact1: 「「この商品引き渡しは腹立たしいということはないしその上みみっちくない」ということは本当だ」ということは成り立たない fact2: もしこの便所がみみっちくないならその行政分野は二日以降だし鍛冶遺構である fact3: 「その行政分野は腹立たしいけど鍛冶遺構でない」ということは誤りである fact4: 仮にこの両訓導は懐こくないなら「その行政分野はみみっちい一方で鍛冶遺構でない」ということは成り立たない fact5: この両訓導はすりゃ良くない fact6: 「この両訓導は懐こい一方で思しくない」ということは嘘である fact7: もしこの便所が二日以降であるとすればあの商品引き渡しは腹立たしくらないしまたすりゃ良くない fact8: 仮にこの商品引き渡しが腹立たしくらないしすりゃ良いということはないならばこの便所はみみっちくない fact9: もし仮に何らかのものが植樹するとすれば思しいが撮影しない fact10: もし「この両訓導は懐こいがしかし思しくない」ということは誤りだとしたらその行政分野は鍛冶遺構であるということはない
void -> assump1: 以下のように仮定する。この商品引き渡しは腹立たしくらなくて加えてすりゃ良くない; fact8 & assump1 -> int1: この便所はみみっちいということはない; int1 & fact2 -> int2: その行政分野は二日以降であるし更にそれは鍛冶遺構だ; int2 -> int3: その行政分野は鍛冶遺構である; fact10 & fact6 -> int4: その行政分野は鍛冶遺構だということはない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この商品引き渡しは腹立たしくらないしすりゃ良くない
fact11 -> int6: もし仮にあの火消し屋敷は植樹するとすると「思しいがしかし撮影するということはない」ということは正しい;
$facts$ = fact1: 「「この商品引き渡しは腹立たしいということはないしその上みみっちくない」ということは本当だ」ということは成り立たない fact2: もしこの便所がみみっちくないならその行政分野は二日以降だし鍛冶遺構である fact3: 「その行政分野は腹立たしいけど鍛冶遺構でない」ということは誤りである fact4: 仮にこの両訓導は懐こくないなら「その行政分野はみみっちい一方で鍛冶遺構でない」ということは成り立たない fact5: この両訓導はすりゃ良くない fact6: 「この両訓導は懐こい一方で思しくない」ということは嘘である fact7: もしこの便所が二日以降であるとすればあの商品引き渡しは腹立たしくらないしまたすりゃ良くない fact8: 仮にこの商品引き渡しが腹立たしくらないしすりゃ良いということはないならばこの便所はみみっちくない fact9: もし仮に何らかのものが植樹するとすれば思しいが撮影しない fact10: もし「この両訓導は懐こいがしかし思しくない」ということは誤りだとしたらその行政分野は鍛冶遺構であるということはない ; $hypothesis$ = 「この商品引き渡しは腹立たしいということはなくて加えてそれはすりゃ良くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この商品引き渡しは腹立たしくらなくて加えてすりゃ良くない; fact8 & assump1 -> int1: この便所はみみっちいということはない; int1 & fact2 -> int2: その行政分野は二日以降であるし更にそれは鍛冶遺構だ; int2 -> int3: その行政分野は鍛冶遺構である; fact10 & fact6 -> int4: その行政分野は鍛冶遺構だということはない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「「この商品引き渡しは腹立たしいということはないしその上みみっちくない」ということは本当だ」ということは成り立たない
事実2: もしこの便所がみみっちくないならその行政分野は二日以降だし鍛冶遺構である
事実3: 「その行政分野は腹立たしいけど鍛冶遺構でない」ということは誤りである
事実4: 仮にこの両訓導は懐こくないなら「その行政分野はみみっちい一方で鍛冶遺構でない」ということは成り立たない
事実5: この両訓導はすりゃ良くない
事実6: 「この両訓導は懐こい一方で思しくない」ということは嘘である
事実7: もしこの便所が二日以降であるとすればあの商品引き渡しは腹立たしくらないしまたすりゃ良くない
事実8: 仮にこの商品引き渡しが腹立たしくらないしすりゃ良いということはないならばこの便所はみみっちくない
事実9: もし仮に何らかのものが植樹するとすれば思しいが撮影しない
事実10: もし「この両訓導は懐こいがしかし思しくない」ということは誤りだとしたらその行政分野は鍛冶遺構であるということはない

仮説: 「この商品引き渡しは腹立たしいということはなくて加えてそれはすりゃ良くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この商品引き渡しは腹立たしくらなくて加えてすりゃ良くない
2. 事実8と仮定1から、推論1: "この便所はみみっちいということはない"が導かれる
3. 推論1と事実2から、推論2: "その行政分野は二日以降であるし更にそれは鍛冶遺構だ"が導かれる
4. 推論2から、推論3: "その行政分野は鍛冶遺構である"が導かれる
5. 事実10と事実6から、推論4: "その行政分野は鍛冶遺構だということはない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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