「あの情婦は素人っぽくない」ということは事実である
fact1: もしもその乾板は素人っぽいなら「それは此れ以上でなくて更にそれはジャンプする」ということは間違いだ fact2: もし仮に「心腔でない」物があるとすればあの情婦は荒ぶるかジャンプする fact3: 「あの情婦は荒ぶるない一方でそれは動き易い」ということは間違いだとしたらあの両生類は動き易くない fact4: とあるものが共鳴し易くないかそれは廓清するかまたは両方であるならそれは子でない fact5: もし仮に何かはこそばゆくないかまたはそれはザＹであるならそれは手緩くない fact6: 「心腔でない」物はある fact7: 「とある物は心腔だ」ということは成り立つ fact8: もし「その乾板は此れ以上でないけどそれはジャンプする」ということは成り立つということはないならそれはジャンプしない fact9: 「心腔でない」物があるとしたらあの情婦は荒ぶるということはないかジャンプするかまたはどちらもだ fact10: もし仮にある物が荒ぶるということはないとしたらそれは素人っぽくない fact11: もし仮に「小憎らしくない」ものがあるとすればあの転送効率は意味深いかあるいはそれは心腔だ fact12: 何らかの物は荒ぶるとすると「それは心腔であるということはないし素人っぽくない」ということは事実と異なる fact13: あの情婦は荒ぶるということはないなら「素人っぽくない」ということは確かだ fact14: 仮になんらかのものは荒ぶるということはないかジャンプするかもしくは両方ともであるとするとそれは素人っぽくない fact15: あの情婦は荒ぶるかあるいはそれはジャンプするかあるいは両方ともだ fact16: もしある物がジャンプしないとすればそれが荒ぶるしその上それは心腔である
fact6 & fact9 -> int1: あの情婦は荒ぶるということはないかあるいはジャンプするかどちらもである; fact14 -> int2: もしあの情婦が荒ぶるないかそれはジャンプするかもしくはどちらもだとすると「それは素人っぽくない」ということは確かだ; int1 & int2 -> hypothesis;
あの情婦は素人っぽい
fact17 -> int3: 仮にその乾板は荒ぶるとすると「心腔だということはなくて加えてそれは素人っぽくない」ということは事実と異なる;
$facts$ = fact1: もしもその乾板は素人っぽいなら「それは此れ以上でなくて更にそれはジャンプする」ということは間違いだ fact2: もし仮に「心腔でない」物があるとすればあの情婦は荒ぶるかジャンプする fact3: 「あの情婦は荒ぶるない一方でそれは動き易い」ということは間違いだとしたらあの両生類は動き易くない fact4: とあるものが共鳴し易くないかそれは廓清するかまたは両方であるならそれは子でない fact5: もし仮に何かはこそばゆくないかまたはそれはザＹであるならそれは手緩くない fact6: 「心腔でない」物はある fact7: 「とある物は心腔だ」ということは成り立つ fact8: もし「その乾板は此れ以上でないけどそれはジャンプする」ということは成り立つということはないならそれはジャンプしない fact9: 「心腔でない」物があるとしたらあの情婦は荒ぶるということはないかジャンプするかまたはどちらもだ fact10: もし仮にある物が荒ぶるということはないとしたらそれは素人っぽくない fact11: もし仮に「小憎らしくない」ものがあるとすればあの転送効率は意味深いかあるいはそれは心腔だ fact12: 何らかの物は荒ぶるとすると「それは心腔であるということはないし素人っぽくない」ということは事実と異なる fact13: あの情婦は荒ぶるということはないなら「素人っぽくない」ということは確かだ fact14: 仮になんらかのものは荒ぶるということはないかジャンプするかもしくは両方ともであるとするとそれは素人っぽくない fact15: あの情婦は荒ぶるかあるいはそれはジャンプするかあるいは両方ともだ fact16: もしある物がジャンプしないとすればそれが荒ぶるしその上それは心腔である ; $hypothesis$ = 「あの情婦は素人っぽくない」ということは事実である ; $proof$ = 
fact6 & fact9 -> int1: あの情婦は荒ぶるということはないかあるいはジャンプするかどちらもである; fact14 -> int2: もしあの情婦が荒ぶるないかそれはジャンプするかもしくはどちらもだとすると「それは素人っぽくない」ということは確かだ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもその乾板は素人っぽいなら「それは此れ以上でなくて更にそれはジャンプする」ということは間違いだ
事実2: もし仮に「心腔でない」物があるとすればあの情婦は荒ぶるかジャンプする
事実3: 「あの情婦は荒ぶるない一方でそれは動き易い」ということは間違いだとしたらあの両生類は動き易くない
事実4: とあるものが共鳴し易くないかそれは廓清するかまたは両方であるならそれは子でない
事実5: もし仮に何かはこそばゆくないかまたはそれはザＹであるならそれは手緩くない
事実6: 「心腔でない」物はある
事実7: 「とある物は心腔だ」ということは成り立つ
事実8: もし「その乾板は此れ以上でないけどそれはジャンプする」ということは成り立つということはないならそれはジャンプしない
事実9: 「心腔でない」物があるとしたらあの情婦は荒ぶるということはないかジャンプするかまたはどちらもだ
事実10: もし仮にある物が荒ぶるということはないとしたらそれは素人っぽくない
事実11: もし仮に「小憎らしくない」ものがあるとすればあの転送効率は意味深いかあるいはそれは心腔だ
事実12: 何らかの物は荒ぶるとすると「それは心腔であるということはないし素人っぽくない」ということは事実と異なる
事実13: あの情婦は荒ぶるということはないなら「素人っぽくない」ということは確かだ
事実14: 仮になんらかのものは荒ぶるということはないかジャンプするかもしくは両方ともであるとするとそれは素人っぽくない
事実15: あの情婦は荒ぶるかあるいはそれはジャンプするかあるいは両方ともだ
事実16: もしある物がジャンプしないとすればそれが荒ぶるしその上それは心腔である

仮説: 「あの情婦は素人っぽくない」ということは事実である
1. 事実6と事実9から、推論1: "あの情婦は荒ぶるということはないかあるいはジャンプするかどちらもである"が導かれる
2. 事実14から、推論2: "もしあの情婦が荒ぶるないかそれはジャンプするかもしくはどちらもだとすると「それは素人っぽくない」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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