その転出は育ち難くない
fact1: もし仮に「「字体だしその上御断る」ということは事実でない」ものがあるとするとこの真偽表は字体でない fact2: 「この譲渡人は追い出しだということはない」ということは事実である fact3: もし仮にこの譲渡人が追い出しでないとすればそれは話し終わる fact4: 仮になんらかの物が敷こ踏み履くとすると金時豆だということはない fact5: もしも育ち難くない物は追い出しでないならばそれは退けない fact6: もしこの礼拝動作が字体でないとするとその風俗画は経済動向であるかもしくは届けである fact7: もしとある物が人権尊重でないとすると追い出しで育ち難い fact8: もしこの譲渡人が保存先指定ボタンであるということはないかあるいは介入方法でないならば介入方法でない fact9: 届けは敷こ踏み履く fact10: もしこの譲渡人が区名ならばそれは保存先指定ボタンでないかもしくは介入方法でないかまたは両方ともだ fact11: あの物屋はごつかない fact12: 仮にその風俗画が経済動向だとするとこの貯蔵中は届けだ fact13: もし仮にこの真偽表が字体でないとすればあの礼拝動作は字体であるということはない fact14: もし仮にこの譲渡人が介入方法でないとしたらその転出は人権尊重でないがしかし軽々しい fact15: もし何らかの物がおしっこしないかまたはそれは分かち難いということはないかまたは両方であるとするとおしっこしない fact16: 仮に「この譲渡人は退けないかまたは話し終わるということはないか両方ともだ」ということは間違いだとしたらその転出は育ち難くない fact17: もしこの取り巻きが保存先指定ボタンであるならばこの譲渡人は介入方法であるということはない fact18: もしこの貯蔵中が保存先指定ボタンであるとするとこの取り巻きは保存先指定ボタンだ fact19: とあるものが金時豆でないならばおしっこしないかまたは分かち難くないかあるいは両方だ fact20: もし仮にこの譲渡人は追い出しでないならば「退けないかあるいは話し終わらないか両方である」ということは誤りである fact21: もし何らかの物がおしっこしないとしたらそれは保存先指定ボタンであるししかも区名だ fact22: もし何かは介入方法でないなら「それは人権尊重であるしそれは軽々しい」ということは成り立つ fact23: もし仮に「「あの物屋はごつい」ということは偽でない」ということは誤っていれば「字体であるし御断る」ということは成り立たない
fact20 & fact2 -> int1: 「この譲渡人は退けないかあるいは話し終わらない」ということは間違いだ; int1 & fact16 -> hypothesis;
fact20 & fact2 -> int1: ¬(¬{AA}{a} v ¬{AB}{a}); int1 & fact16 -> hypothesis;
そのスタペリアは退けない
fact25 -> int2: もしそのスタペリアは育ち難くないしまた追い出しでないならば退けるということはない; fact26 -> int3: 仮に「この譲渡人は介入方法だということはない」ということは本当であるとしたら人権尊重であるしそれに軽々しい;
$facts$ = fact1: もし仮に「「字体だしその上御断る」ということは事実でない」ものがあるとするとこの真偽表は字体でない fact2: 「この譲渡人は追い出しだということはない」ということは事実である fact3: もし仮にこの譲渡人が追い出しでないとすればそれは話し終わる fact4: 仮になんらかの物が敷こ踏み履くとすると金時豆だということはない fact5: もしも育ち難くない物は追い出しでないならばそれは退けない fact6: もしこの礼拝動作が字体でないとするとその風俗画は経済動向であるかもしくは届けである fact7: もしとある物が人権尊重でないとすると追い出しで育ち難い fact8: もしこの譲渡人が保存先指定ボタンであるということはないかあるいは介入方法でないならば介入方法でない fact9: 届けは敷こ踏み履く fact10: もしこの譲渡人が区名ならばそれは保存先指定ボタンでないかもしくは介入方法でないかまたは両方ともだ fact11: あの物屋はごつかない fact12: 仮にその風俗画が経済動向だとするとこの貯蔵中は届けだ fact13: もし仮にこの真偽表が字体でないとすればあの礼拝動作は字体であるということはない fact14: もし仮にこの譲渡人が介入方法でないとしたらその転出は人権尊重でないがしかし軽々しい fact15: もし何らかの物がおしっこしないかまたはそれは分かち難いということはないかまたは両方であるとするとおしっこしない fact16: 仮に「この譲渡人は退けないかまたは話し終わるということはないか両方ともだ」ということは間違いだとしたらその転出は育ち難くない fact17: もしこの取り巻きが保存先指定ボタンであるならばこの譲渡人は介入方法であるということはない fact18: もしこの貯蔵中が保存先指定ボタンであるとするとこの取り巻きは保存先指定ボタンだ fact19: とあるものが金時豆でないならばおしっこしないかまたは分かち難くないかあるいは両方だ fact20: もし仮にこの譲渡人は追い出しでないならば「退けないかあるいは話し終わらないか両方である」ということは誤りである fact21: もし何らかの物がおしっこしないとしたらそれは保存先指定ボタンであるししかも区名だ fact22: もし何かは介入方法でないなら「それは人権尊重であるしそれは軽々しい」ということは成り立つ fact23: もし仮に「「あの物屋はごつい」ということは偽でない」ということは誤っていれば「字体であるし御断る」ということは成り立たない ; $hypothesis$ = その転出は育ち難くない ; $proof$ = 
fact20 & fact2 -> int1: 「この譲渡人は退けないかあるいは話し終わらない」ということは間違いだ; int1 & fact16 -> hypothesis; __PROVED__
事実1: もし仮に「「字体だしその上御断る」ということは事実でない」ものがあるとするとこの真偽表は字体でない
事実2: 「この譲渡人は追い出しだということはない」ということは事実である
事実3: もし仮にこの譲渡人が追い出しでないとすればそれは話し終わる
事実4: 仮になんらかの物が敷こ踏み履くとすると金時豆だということはない
事実5: もしも育ち難くない物は追い出しでないならばそれは退けない
事実6: もしこの礼拝動作が字体でないとするとその風俗画は経済動向であるかもしくは届けである
事実7: もしとある物が人権尊重でないとすると追い出しで育ち難い
事実8: もしこの譲渡人が保存先指定ボタンであるということはないかあるいは介入方法でないならば介入方法でない
事実9: 届けは敷こ踏み履く
事実10: もしこの譲渡人が区名ならばそれは保存先指定ボタンでないかもしくは介入方法でないかまたは両方ともだ
事実11: あの物屋はごつかない
事実12: 仮にその風俗画が経済動向だとするとこの貯蔵中は届けだ
事実13: もし仮にこの真偽表が字体でないとすればあの礼拝動作は字体であるということはない
事実14: もし仮にこの譲渡人が介入方法でないとしたらその転出は人権尊重でないがしかし軽々しい
事実15: もし何らかの物がおしっこしないかまたはそれは分かち難いということはないかまたは両方であるとするとおしっこしない
事実16: 仮に「この譲渡人は退けないかまたは話し終わるということはないか両方ともだ」ということは間違いだとしたらその転出は育ち難くない
事実17: もしこの取り巻きが保存先指定ボタンであるならばこの譲渡人は介入方法であるということはない
事実18: もしこの貯蔵中が保存先指定ボタンであるとするとこの取り巻きは保存先指定ボタンだ
事実19: とあるものが金時豆でないならばおしっこしないかまたは分かち難くないかあるいは両方だ
事実20: もし仮にこの譲渡人は追い出しでないならば「退けないかあるいは話し終わらないか両方である」ということは誤りである
事実21: もし何らかの物がおしっこしないとしたらそれは保存先指定ボタンであるししかも区名だ
事実22: もし何かは介入方法でないなら「それは人権尊重であるしそれは軽々しい」ということは成り立つ
事実23: もし仮に「「あの物屋はごつい」ということは偽でない」ということは誤っていれば「字体であるし御断る」ということは成り立たない

仮説: その転出は育ち難くない
1. 事実20と事実2から、推論1: "「この譲渡人は退けないかあるいは話し終わらない」ということは間違いだ"が導かれる
2. 推論1と事実16から、仮説が導かれる

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