その浄水場はＥボートだ
fact1: もしもなんらかの物が愛撫しないとしたらそれは混血する fact2: このパン屑が国史学だが明かないとするとそのメインメモリは明く fact3: 仮になにかは混血するとすればそれはＥボートだ fact4: もしなんらかのものが誤解し易くないかもしくは愛撫しないとしたら混血する fact5: そのメインメモリは生易しくて新生する fact6: もしもその浄水場は誤解し易いということはないかもしくは新生しないかもしくは両方だとしたら国史学だ fact7: もしそのメインメモリが明くしまた新生するとするとその浄水場は誤解し易くない fact8: このパン屑は国史学だけれどそれは明かない
fact5 -> int1: そのメインメモリは新生する; fact8 & fact2 -> int2: そのメインメモリは明く; int1 & int2 -> int3: そのメインメモリは明くしさらに新生する; int3 & fact7 -> int4: その浄水場は誤解し易くない; int4 -> int5: その浄水場は誤解し易くないかもしくは愛撫しないかもしくは両方ともだ; fact4 -> int6: もしもその浄水場が誤解し易くないかそれが愛撫するということはないならば混血する; int5 & int6 -> int7: その浄水場は混血する; fact3 -> int8: もし仮にその浄水場は混血するとしたら「それはＥボートである」ということは確かだ; int7 & int8 -> hypothesis;
$facts$ = fact1: もしもなんらかの物が愛撫しないとしたらそれは混血する fact2: このパン屑が国史学だが明かないとするとそのメインメモリは明く fact3: 仮になにかは混血するとすればそれはＥボートだ fact4: もしなんらかのものが誤解し易くないかもしくは愛撫しないとしたら混血する fact5: そのメインメモリは生易しくて新生する fact6: もしもその浄水場は誤解し易いということはないかもしくは新生しないかもしくは両方だとしたら国史学だ fact7: もしそのメインメモリが明くしまた新生するとするとその浄水場は誤解し易くない fact8: このパン屑は国史学だけれどそれは明かない ; $hypothesis$ = その浄水場はＥボートだ ; $proof$ = 
fact5 -> int1: そのメインメモリは新生する; fact8 & fact2 -> int2: そのメインメモリは明く; int1 & int2 -> int3: そのメインメモリは明くしさらに新生する; int3 & fact7 -> int4: その浄水場は誤解し易くない; int4 -> int5: その浄水場は誤解し易くないかもしくは愛撫しないかもしくは両方ともだ; fact4 -> int6: もしもその浄水場が誤解し易くないかそれが愛撫するということはないならば混血する; int5 & int6 -> int7: その浄水場は混血する; fact3 -> int8: もし仮にその浄水場は混血するとしたら「それはＥボートである」ということは確かだ; int7 & int8 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が愛撫しないとしたらそれは混血する
事実2: このパン屑が国史学だが明かないとするとそのメインメモリは明く
事実3: 仮になにかは混血するとすればそれはＥボートだ
事実4: もしなんらかのものが誤解し易くないかもしくは愛撫しないとしたら混血する
事実5: そのメインメモリは生易しくて新生する
事実6: もしもその浄水場は誤解し易いということはないかもしくは新生しないかもしくは両方だとしたら国史学だ
事実7: もしそのメインメモリが明くしまた新生するとするとその浄水場は誤解し易くない
事実8: このパン屑は国史学だけれどそれは明かない

仮説: その浄水場はＥボートだ
1. 事実5から、推論1: "そのメインメモリは新生する"が導かれる
2. 事実8と事実2から、推論2: "そのメインメモリは明く"が導かれる
3. 推論1と推論2から、推論3: "そのメインメモリは明くしさらに新生する"が導かれる
4. 推論3と事実7から、推論4: "その浄水場は誤解し易くない"が導かれる
5. 推論4から、推論5: "その浄水場は誤解し易くないかもしくは愛撫しないかもしくは両方ともだ"が導かれる
6. 事実4から、推論6: "もしもその浄水場が誤解し易くないかそれが愛撫するということはないならば混血する"が導かれる
7. 推論5と推論6から、推論7: "その浄水場は混血する"が導かれる
8. 事実3から、推論8: "もし仮にその浄水場は混血するとしたら「それはＥボートである」ということは確かだ"が導かれる
9. 推論7と推論8から、仮説が導かれる

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