「この団はとんがるかきもいか両方だ」ということは成り立たない
fact1: この団はきもくない fact2: その動物性プランクトンは染み込み易いならば「おもろくないしさらに母体だ」ということは偽である fact3: もしこの団は陰性者でないとしたらきもいしまた導き出す fact4: もしも「飾り付けるかまたは擦り合わせるかもしくは両方ともな」ものがあるならあの公益的事業は母体である fact5: あのビットマップデータはおもろいということはない fact6: 「その伝道者は母体であるがそれはおもろくない」ということは成り立たない fact7: もしその動物性プランクトンが母体でないならばこの団は母体でない fact8: あの公益的事業は母体なら「その伝道者は母体だということはないししかもそれはおもろいということはない」ということは間違っている fact9: その動物性プランクトンは導き出すが陰性者でない fact10: もしなにかは飾り付けるけど擦り合わせるということはないならばそれは陰性者でない fact11: もしも「その伝道者は母体でないしその上おもろくない」ということは成り立たないならばあのビットマップデータはとんがらない fact12: もしも「あるものはおもろくないけれどそれは母体である」ということは成り立たないとしたら「それは母体でない」ということは正しい fact13: その伝道者は母体であるならば「あのビットマップデータはとんがる」ということは誤りである fact14: もし何かは導き出すとすれば飾り付ける fact15: もしもあのビットマップデータはとんがらないなら「この団はとんがるかきもいかまたは両方である」ということは成り立たない
fact9 -> int1: その動物性プランクトンは導き出す; fact14 -> int2: もし仮にその動物性プランクトンが導き出すならそれは飾り付ける; int1 & int2 -> int3: その動物性プランクトンは飾り付ける; int3 -> int4: その動物性プランクトンは飾り付けるかもしくは擦り合わせる; int4 -> int5: なにかは飾り付けるかまたは擦り合わせるか両方ともである; int5 & fact4 -> int6: あの公益的事業は母体だ; int6 & fact8 -> int7: 「その伝道者は母体でなくておもろくない」ということは誤っている; int7 & fact11 -> int8: あのビットマップデータはとんがらない; int8 & fact15 -> hypothesis;
この団はとんがるかもしくはそれはきもい
fact19 -> int9: もしもこの団が飾り付ける一方で擦り合わせないとしたらそれは陰性者でない; fact17 -> int10: 「その動物性プランクトンはおもろくないが母体だ」ということは成り立たないとすればそれは母体でない;
$facts$ = fact1: この団はきもくない fact2: その動物性プランクトンは染み込み易いならば「おもろくないしさらに母体だ」ということは偽である fact3: もしこの団は陰性者でないとしたらきもいしまた導き出す fact4: もしも「飾り付けるかまたは擦り合わせるかもしくは両方ともな」ものがあるならあの公益的事業は母体である fact5: あのビットマップデータはおもろいということはない fact6: 「その伝道者は母体であるがそれはおもろくない」ということは成り立たない fact7: もしその動物性プランクトンが母体でないならばこの団は母体でない fact8: あの公益的事業は母体なら「その伝道者は母体だということはないししかもそれはおもろいということはない」ということは間違っている fact9: その動物性プランクトンは導き出すが陰性者でない fact10: もしなにかは飾り付けるけど擦り合わせるということはないならばそれは陰性者でない fact11: もしも「その伝道者は母体でないしその上おもろくない」ということは成り立たないならばあのビットマップデータはとんがらない fact12: もしも「あるものはおもろくないけれどそれは母体である」ということは成り立たないとしたら「それは母体でない」ということは正しい fact13: その伝道者は母体であるならば「あのビットマップデータはとんがる」ということは誤りである fact14: もし何かは導き出すとすれば飾り付ける fact15: もしもあのビットマップデータはとんがらないなら「この団はとんがるかきもいかまたは両方である」ということは成り立たない ; $hypothesis$ = 「この団はとんがるかきもいか両方だ」ということは成り立たない ; $proof$ = 
fact9 -> int1: その動物性プランクトンは導き出す; fact14 -> int2: もし仮にその動物性プランクトンが導き出すならそれは飾り付ける; int1 & int2 -> int3: その動物性プランクトンは飾り付ける; int3 -> int4: その動物性プランクトンは飾り付けるかもしくは擦り合わせる; int4 -> int5: なにかは飾り付けるかまたは擦り合わせるか両方ともである; int5 & fact4 -> int6: あの公益的事業は母体だ; int6 & fact8 -> int7: 「その伝道者は母体でなくておもろくない」ということは誤っている; int7 & fact11 -> int8: あのビットマップデータはとんがらない; int8 & fact15 -> hypothesis; __PROVED__
事実1: この団はきもくない
事実2: その動物性プランクトンは染み込み易いならば「おもろくないしさらに母体だ」ということは偽である
事実3: もしこの団は陰性者でないとしたらきもいしまた導き出す
事実4: もしも「飾り付けるかまたは擦り合わせるかもしくは両方ともな」ものがあるならあの公益的事業は母体である
事実5: あのビットマップデータはおもろいということはない
事実6: 「その伝道者は母体であるがそれはおもろくない」ということは成り立たない
事実7: もしその動物性プランクトンが母体でないならばこの団は母体でない
事実8: あの公益的事業は母体なら「その伝道者は母体だということはないししかもそれはおもろいということはない」ということは間違っている
事実9: その動物性プランクトンは導き出すが陰性者でない
事実10: もしなにかは飾り付けるけど擦り合わせるということはないならばそれは陰性者でない
事実11: もしも「その伝道者は母体でないしその上おもろくない」ということは成り立たないならばあのビットマップデータはとんがらない
事実12: もしも「あるものはおもろくないけれどそれは母体である」ということは成り立たないとしたら「それは母体でない」ということは正しい
事実13: その伝道者は母体であるならば「あのビットマップデータはとんがる」ということは誤りである
事実14: もし何かは導き出すとすれば飾り付ける
事実15: もしもあのビットマップデータはとんがらないなら「この団はとんがるかきもいかまたは両方である」ということは成り立たない

仮説: 「この団はとんがるかきもいか両方だ」ということは成り立たない
1. 事実9から、推論1: "その動物性プランクトンは導き出す"が導かれる
2. 事実14から、推論2: "もし仮にその動物性プランクトンが導き出すならそれは飾り付ける"が導かれる
3. 推論1と推論2から、推論3: "その動物性プランクトンは飾り付ける"が導かれる
4. 推論3から、推論4: "その動物性プランクトンは飾り付けるかもしくは擦り合わせる"が導かれる
5. 推論4から、推論5: "なにかは飾り付けるかまたは擦り合わせるか両方ともである"が導かれる
6. 推論5と事実4から、推論6: "あの公益的事業は母体だ"が導かれる
7. 推論6と事実8から、推論7: "「その伝道者は母体でなくておもろくない」ということは誤っている"が導かれる
8. 推論7と事実11から、推論8: "あのビットマップデータはとんがらない"が導かれる
9. 推論8と事実15から、仮説が導かれる

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