あの三月中は経上がるということはなくて済ま無くない
fact1: もしなにかは飢えるなら「それは経上がらなくて済ま無いということはない」ということは嘘である fact2: あのＬＩＳＴ中は和子でなくて加えて泊まるということはない fact3: その三重スパイは飢えない fact4: もし「この字義は物語論でない」ということは真実だとするとそれは追尾しないし加えてＳ状結腸でない fact5: あの三月中は飢えない fact6: あの三月中は済ま無くないしまたそれは極まりなくない fact7: 仮にあるものがもたもたすればそれは糧米でないしその上それは割れ難いということはない fact8: あのＭＩＢはもたもたする fact9: あの三月中は根気強くない fact10: もしもあの三月中が飢えるということはないならそれは経上がるということはなくてそれに済ま無くない fact11: もし仮に「この中国株投資は済ま無くない」ということは真実であるならばそれは恐懼するということはない
fact10 & fact5 -> hypothesis;
fact10 & fact5 -> hypothesis;
「あの三月中は経上がるということはないし済ま無くない」ということは誤りである
fact12 -> int1: もし仮にあの三月中は飢えるとしたら「経上がらないしそれに済ま無くない」ということは成り立たない; fact14 -> int2: あのＭＩＢがもたもたするとしたら糧米でなくてそれは割れ難いということはない; int2 & fact13 -> int3: あのＭＩＢは糧米でなくてその上割れ難くない; int3 -> int4: あのＭＩＢは糧米であるということはない; int4 -> int5: 「糧米でない」ものはある;
$facts$ = fact1: もしなにかは飢えるなら「それは経上がらなくて済ま無いということはない」ということは嘘である fact2: あのＬＩＳＴ中は和子でなくて加えて泊まるということはない fact3: その三重スパイは飢えない fact4: もし「この字義は物語論でない」ということは真実だとするとそれは追尾しないし加えてＳ状結腸でない fact5: あの三月中は飢えない fact6: あの三月中は済ま無くないしまたそれは極まりなくない fact7: 仮にあるものがもたもたすればそれは糧米でないしその上それは割れ難いということはない fact8: あのＭＩＢはもたもたする fact9: あの三月中は根気強くない fact10: もしもあの三月中が飢えるということはないならそれは経上がるということはなくてそれに済ま無くない fact11: もし仮に「この中国株投資は済ま無くない」ということは真実であるならばそれは恐懼するということはない ; $hypothesis$ = あの三月中は経上がるということはなくて済ま無くない ; $proof$ = 
fact10 & fact5 -> hypothesis; __PROVED__
事実1: もしなにかは飢えるなら「それは経上がらなくて済ま無いということはない」ということは嘘である
事実2: あのＬＩＳＴ中は和子でなくて加えて泊まるということはない
事実3: その三重スパイは飢えない
事実4: もし「この字義は物語論でない」ということは真実だとするとそれは追尾しないし加えてＳ状結腸でない
事実5: あの三月中は飢えない
事実6: あの三月中は済ま無くないしまたそれは極まりなくない
事実7: 仮にあるものがもたもたすればそれは糧米でないしその上それは割れ難いということはない
事実8: あのＭＩＢはもたもたする
事実9: あの三月中は根気強くない
事実10: もしもあの三月中が飢えるということはないならそれは経上がるということはなくてそれに済ま無くない
事実11: もし仮に「この中国株投資は済ま無くない」ということは真実であるならばそれは恐懼するということはない

仮説: あの三月中は経上がるということはなくて済ま無くない
1. 事実10と事実5から、仮説が導かれる

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