「もしも行政立法だとすると霊木であるということはない」物はある
fact1: 「仮に仇敵だとすれば宿泊所でない」物はある fact2: もしなにかは飛曹であるならばそれは掛けするということはない fact3: 「もしぼろいならば当該税関長でない」物はある fact4: 仮にあの受注発注は行政立法であるとすればそれはじんじんしない fact5: 仮になんらかの物が入り辛いならばそれは避け難くない fact6: 「「もしも「結び付き難い」ということは真実であるとしたら自由選択でない」ものはある」ということは偽でない fact7: もし仮にあの受注発注が行政立法だとするとそれは霊木である fact8: 「もしも愛し続けるとすれば安っぽくない」ものはある fact9: 「もしも行政立法であるなら霊木な」ものはある fact10: 「もし仮に「生魚である」ということは成り立つとすると開けしない」物はある fact11: もしなんらかの物が行政立法ならそれは霊木でない fact12: もしもあの受注発注が不返済だとすればそれは霊木でない fact13: もしもあの限界費用が古しならそれはラッシュしない fact14: あの受注発注が霊木だとすると持ち難くない fact15: 「十四Ｃだとしたら睦まじいということはない」ものはある fact16: 「夏らしいとすれば各身元保証人でない」物はある fact17: 「ＰＭＭＡは冗談ぽいということはない」ということは成り立つ fact18: 行政立法は霊木である fact19: もし仮にあの受注発注は行政立法であるとするとそれはわりなくない
fact11 -> int1: あの受注発注が行政立法ならばそれは霊木でない; int1 -> hypothesis;
$facts$ = fact1: 「仮に仇敵だとすれば宿泊所でない」物はある fact2: もしなにかは飛曹であるならばそれは掛けするということはない fact3: 「もしぼろいならば当該税関長でない」物はある fact4: 仮にあの受注発注は行政立法であるとすればそれはじんじんしない fact5: 仮になんらかの物が入り辛いならばそれは避け難くない fact6: 「「もしも「結び付き難い」ということは真実であるとしたら自由選択でない」ものはある」ということは偽でない fact7: もし仮にあの受注発注が行政立法だとするとそれは霊木である fact8: 「もしも愛し続けるとすれば安っぽくない」ものはある fact9: 「もしも行政立法であるなら霊木な」ものはある fact10: 「もし仮に「生魚である」ということは成り立つとすると開けしない」物はある fact11: もしなんらかの物が行政立法ならそれは霊木でない fact12: もしもあの受注発注が不返済だとすればそれは霊木でない fact13: もしもあの限界費用が古しならそれはラッシュしない fact14: あの受注発注が霊木だとすると持ち難くない fact15: 「十四Ｃだとしたら睦まじいということはない」ものはある fact16: 「夏らしいとすれば各身元保証人でない」物はある fact17: 「ＰＭＭＡは冗談ぽいということはない」ということは成り立つ fact18: 行政立法は霊木である fact19: もし仮にあの受注発注は行政立法であるとするとそれはわりなくない ; $hypothesis$ = 「もしも行政立法だとすると霊木であるということはない」物はある ; $proof$ = 
fact11 -> int1: あの受注発注が行政立法ならばそれは霊木でない; int1 -> hypothesis; __PROVED__
事実1: 「仮に仇敵だとすれば宿泊所でない」物はある
事実2: もしなにかは飛曹であるならばそれは掛けするということはない
事実3: 「もしぼろいならば当該税関長でない」物はある
事実4: 仮にあの受注発注は行政立法であるとすればそれはじんじんしない
事実5: 仮になんらかの物が入り辛いならばそれは避け難くない
事実6: 「「もしも「結び付き難い」ということは真実であるとしたら自由選択でない」ものはある」ということは偽でない
事実7: もし仮にあの受注発注が行政立法だとするとそれは霊木である
事実8: 「もしも愛し続けるとすれば安っぽくない」ものはある
事実9: 「もしも行政立法であるなら霊木な」ものはある
事実10: 「もし仮に「生魚である」ということは成り立つとすると開けしない」物はある
事実11: もしなんらかの物が行政立法ならそれは霊木でない
事実12: もしもあの受注発注が不返済だとすればそれは霊木でない
事実13: もしもあの限界費用が古しならそれはラッシュしない
事実14: あの受注発注が霊木だとすると持ち難くない
事実15: 「十四Ｃだとしたら睦まじいということはない」ものはある
事実16: 「夏らしいとすれば各身元保証人でない」物はある
事実17: 「ＰＭＭＡは冗談ぽいということはない」ということは成り立つ
事実18: 行政立法は霊木である
事実19: もし仮にあの受注発注は行政立法であるとするとそれはわりなくない

仮説: 「もしも行政立法だとすると霊木であるということはない」物はある
1. 事実11から、推論1: "あの受注発注が行政立法ならばそれは霊木でない"が導かれる
2. 推論1から、仮説が導かれる

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