仮にあの洋種が丸っこくないとするとあの貿易利潤は三日分でないが緊張する
fact1: 仮にある物は芝居するなら「それは緊張する」ということは正しい fact2: 仮に「生き癖であるということはない」物はあるとすると「あの貿易利潤は見劣りしないがしかしそれは真新しい」ということは真実でない fact3: もし仮にあの貿易利潤が緊張するとすればあの洋種は三日分でないけどそれは緊張する fact4: あのセンターフィーは転び易くないがそれは緊張する fact5: あの貿易利潤は緊張しないがしかし丸っこい fact6: 仮に「あの貿易利潤は見劣りしないけどそれは真新しい」ということは間違っているならあの洋種は愚者でない fact7: もし仮にあの洋種が三日分でないならばあの貿易利潤は丸っこくないけど緊張する fact8: 仮にあの洋種が丸っこくないとすれば緊張する fact9: 「あの貿易利潤は丸っこいということはない」ということは成り立つとしたらあの洋種は緊張するし加えてそれは三日分である fact10: あの貿易利潤は三日分でない fact11: もし「あの貿易利潤は三日分である」ということは成り立つとするとあの洋種は三日分だ fact12: もしもあの洋種が緊張するとするとあの貿易利潤は三日分でない一方で緊張する fact13: 仮にあの洋種が三日分だということはないならあの貿易利潤は緊張する fact14: 「あるものは泉水でないししかもジェントリフィケーションでない」ということは成り立たないならば三日分でない fact15: もしあの洋種が緊張すればあの貿易利潤は三日分でない fact16: あの洋種が緊張しないとすればあの貿易利潤は丸っこい fact17: その辞林は生き癖であるということはないしそれに寒しない fact18: もし仮にあの洋種は愚者でないなら「あの放送法改正は泉水でなくてまたジェントリフィケーションであるということはない」ということは偽である fact19: 仮にあの洋種が丸っこくないならあの貿易利潤は三日分でない fact20: 仮になんらかの物が三日分でないならばそれは芝居するかもしくは丸っこい fact21: もしあの貿易利潤が緊張しないとすればあの洋種は三日分だ fact22: あの洋種が三日分であるということはないとしたらあの貿易利潤は丸っこい
void -> assump1: 以下のように仮定する。あの洋種は丸っこくない; fact8 & assump1 -> int1: 「あの洋種は緊張しない」ということは確かでない; int1 & fact12 -> int2: あの貿易利潤は三日分でないけれどそれは緊張する; [assump1] & int2 -> hypothesis;
あの放送法改正は緊張する
fact29 -> int3: もしあの放送法改正が三日分でないとすれば芝居するかあるいはそれは丸っこい; fact24 -> int4: もし仮に「あの放送法改正は泉水でないしさらにジェントリフィケーションでない」ということは嘘であるとしたら三日分でない; fact28 -> int5: その辞林は生き癖でない; int5 -> int6: 「「生き癖でない」ということは成り立つ」ものはある; int6 & fact26 -> int7: 「あの貿易利潤は見劣りしないが真新しい」ということは成り立たない; fact27 & int7 -> int8: あの洋種は愚者でない; fact25 & int8 -> int9: 「あの放送法改正は泉水でなくてまたジェントリフィケーションでない」ということは間違いだ; int4 & int9 -> int10: あの放送法改正は三日分でない; int3 & int10 -> int11: あの放送法改正は芝居するかもしくは丸っこい; fact23 -> int12: 「もし仮に「あの放送法改正は芝居する」ということは成り立つならあの放送法改正は緊張する」ということは本当である;
$facts$ = fact1: 仮にある物は芝居するなら「それは緊張する」ということは正しい fact2: 仮に「生き癖であるということはない」物はあるとすると「あの貿易利潤は見劣りしないがしかしそれは真新しい」ということは真実でない fact3: もし仮にあの貿易利潤が緊張するとすればあの洋種は三日分でないけどそれは緊張する fact4: あのセンターフィーは転び易くないがそれは緊張する fact5: あの貿易利潤は緊張しないがしかし丸っこい fact6: 仮に「あの貿易利潤は見劣りしないけどそれは真新しい」ということは間違っているならあの洋種は愚者でない fact7: もし仮にあの洋種が三日分でないならばあの貿易利潤は丸っこくないけど緊張する fact8: 仮にあの洋種が丸っこくないとすれば緊張する fact9: 「あの貿易利潤は丸っこいということはない」ということは成り立つとしたらあの洋種は緊張するし加えてそれは三日分である fact10: あの貿易利潤は三日分でない fact11: もし「あの貿易利潤は三日分である」ということは成り立つとするとあの洋種は三日分だ fact12: もしもあの洋種が緊張するとするとあの貿易利潤は三日分でない一方で緊張する fact13: 仮にあの洋種が三日分だということはないならあの貿易利潤は緊張する fact14: 「あるものは泉水でないししかもジェントリフィケーションでない」ということは成り立たないならば三日分でない fact15: もしあの洋種が緊張すればあの貿易利潤は三日分でない fact16: あの洋種が緊張しないとすればあの貿易利潤は丸っこい fact17: その辞林は生き癖であるということはないしそれに寒しない fact18: もし仮にあの洋種は愚者でないなら「あの放送法改正は泉水でなくてまたジェントリフィケーションであるということはない」ということは偽である fact19: 仮にあの洋種が丸っこくないならあの貿易利潤は三日分でない fact20: 仮になんらかの物が三日分でないならばそれは芝居するかもしくは丸っこい fact21: もしあの貿易利潤が緊張しないとすればあの洋種は三日分だ fact22: あの洋種が三日分であるということはないとしたらあの貿易利潤は丸っこい ; $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: 仮にあの洋種が三日分だということはないならあの貿易利潤は緊張する
事実14: 「あるものは泉水でないししかもジェントリフィケーションでない」ということは成り立たないならば三日分でない
事実15: もしあの洋種が緊張すればあの貿易利潤は三日分でない
事実16: あの洋種が緊張しないとすればあの貿易利潤は丸っこい
事実17: その辞林は生き癖であるということはないしそれに寒しない
事実18: もし仮にあの洋種は愚者でないなら「あの放送法改正は泉水でなくてまたジェントリフィケーションであるということはない」ということは偽である
事実19: 仮にあの洋種が丸っこくないならあの貿易利潤は三日分でない
事実20: 仮になんらかの物が三日分でないならばそれは芝居するかもしくは丸っこい
事実21: もしあの貿易利潤が緊張しないとすればあの洋種は三日分だ
事実22: あの洋種が三日分であるということはないとしたらあの貿易利潤は丸っこい

仮説: 仮にあの洋種が丸っこくないとするとあの貿易利潤は三日分でないが緊張する
1. 仮定1: 以下のように仮定する。あの洋種は丸っこくない
2. 事実8と仮定1から、推論1: "「あの洋種は緊張しない」ということは確かでない"が導かれる
3. 推論1と事実12から、推論2: "あの貿易利潤は三日分でないけれどそれは緊張する"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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