この夫婦双方は詮無い
fact1: 仮に「この夫婦双方は鉄心でないし更に太り易くない」ということは誤りであるとしたら「詮無い」ということは確かである fact2: もしこの夫婦双方は聞き易いとしたら「鉄心でなくて丸いということはない」ということは成り立たない fact3: 仮にこの夫婦双方が前橋刑務所でないならそのオリジンは思わしくて詮無い fact4: 「あの野党法案は追尾しない」ということは真実であるならば「それは前橋刑務所であるしかつ倉敷市域である」ということは嘘だ fact5: もし仮に何かは任用しないならばそれは追尾するということはないし狙われ易くない fact6: 「もし仮に「この夫婦双方は太り易くないし更に保存先指定ボタンでない」ということは成り立たないとするとこの夫婦双方は崩し易い」ということは確かである fact7: この夫婦双方は思わしい fact8: もし仮にこの夫婦双方が太り易いならば詮無い fact9: 仮に「なにがしかの物が前橋刑務所だし倉敷市域だ」ということは成り立たないとしたら前橋刑務所でない fact10: もし仮にこの夫婦双方は思わしいとしたら「鉄心でないし太り易くない」ということは嘘だ fact11: 思わしくないものは詮無くない fact12: 「この夫婦双方は鉄心でないけど移り易い」ということは事実でない fact13: なにかは御相談下さるけれどそれは破水でないとするとそれは任用しない fact14: もし仮にあの野党法案が前橋刑務所でないならばこの夫婦双方は前橋刑務所でない fact15: もしこの夫婦双方は思わしいとしたら「それは鉄心でなくてそれは太り易い」ということは成り立たない
fact10 & fact7 -> int1: 「この夫婦双方は鉄心でないしそれに太り易くない」ということは真実でない; int1 & fact1 -> hypothesis;
fact10 & fact7 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis;
「そのオリジンは思わしい」ということは事実だ
fact19 -> int2: 仮に「あの野党法案は前橋刑務所で倉敷市域だ」ということは嘘であるとしたら前橋刑務所でない; fact16 -> int3: あの野党法案は任用しないなら「それは追尾しなくてしかもそれは狙われ易くない」ということは偽でない; fact18 -> int4: もしもあの野党法案は御相談下さるけれど破水でないとすれば「それは任用しない」ということは確かだ;
$facts$ = fact1: 仮に「この夫婦双方は鉄心でないし更に太り易くない」ということは誤りであるとしたら「詮無い」ということは確かである fact2: もしこの夫婦双方は聞き易いとしたら「鉄心でなくて丸いということはない」ということは成り立たない fact3: 仮にこの夫婦双方が前橋刑務所でないならそのオリジンは思わしくて詮無い fact4: 「あの野党法案は追尾しない」ということは真実であるならば「それは前橋刑務所であるしかつ倉敷市域である」ということは嘘だ fact5: もし仮に何かは任用しないならばそれは追尾するということはないし狙われ易くない fact6: 「もし仮に「この夫婦双方は太り易くないし更に保存先指定ボタンでない」ということは成り立たないとするとこの夫婦双方は崩し易い」ということは確かである fact7: この夫婦双方は思わしい fact8: もし仮にこの夫婦双方が太り易いならば詮無い fact9: 仮に「なにがしかの物が前橋刑務所だし倉敷市域だ」ということは成り立たないとしたら前橋刑務所でない fact10: もし仮にこの夫婦双方は思わしいとしたら「鉄心でないし太り易くない」ということは嘘だ fact11: 思わしくないものは詮無くない fact12: 「この夫婦双方は鉄心でないけど移り易い」ということは事実でない fact13: なにかは御相談下さるけれどそれは破水でないとするとそれは任用しない fact14: もし仮にあの野党法案が前橋刑務所でないならばこの夫婦双方は前橋刑務所でない fact15: もしこの夫婦双方は思わしいとしたら「それは鉄心でなくてそれは太り易い」ということは成り立たない ; $hypothesis$ = この夫婦双方は詮無い ; $proof$ = 
fact10 & fact7 -> int1: 「この夫婦双方は鉄心でないしそれに太り易くない」ということは真実でない; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「この夫婦双方は鉄心でないし更に太り易くない」ということは誤りであるとしたら「詮無い」ということは確かである
事実2: もしこの夫婦双方は聞き易いとしたら「鉄心でなくて丸いということはない」ということは成り立たない
事実3: 仮にこの夫婦双方が前橋刑務所でないならそのオリジンは思わしくて詮無い
事実4: 「あの野党法案は追尾しない」ということは真実であるならば「それは前橋刑務所であるしかつ倉敷市域である」ということは嘘だ
事実5: もし仮に何かは任用しないならばそれは追尾するということはないし狙われ易くない
事実6: 「もし仮に「この夫婦双方は太り易くないし更に保存先指定ボタンでない」ということは成り立たないとするとこの夫婦双方は崩し易い」ということは確かである
事実7: この夫婦双方は思わしい
事実8: もし仮にこの夫婦双方が太り易いならば詮無い
事実9: 仮に「なにがしかの物が前橋刑務所だし倉敷市域だ」ということは成り立たないとしたら前橋刑務所でない
事実10: もし仮にこの夫婦双方は思わしいとしたら「鉄心でないし太り易くない」ということは嘘だ
事実11: 思わしくないものは詮無くない
事実12: 「この夫婦双方は鉄心でないけど移り易い」ということは事実でない
事実13: なにかは御相談下さるけれどそれは破水でないとするとそれは任用しない
事実14: もし仮にあの野党法案が前橋刑務所でないならばこの夫婦双方は前橋刑務所でない
事実15: もしこの夫婦双方は思わしいとしたら「それは鉄心でなくてそれは太り易い」ということは成り立たない

仮説: この夫婦双方は詮無い
1. 事実10と事実7から、推論1: "「この夫婦双方は鉄心でないしそれに太り易くない」ということは真実でない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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