あのポストモダンは締めっぽいかもしくはエロい
fact1: このチケットカウンターは進化し易いし知識・技術である fact2: 何らかのものは直接処遇でないとしたら「それは締めっぽいかエロい」ということは誤りである fact3: もし「なにがしかのものは認証でない」ということは事実であるなら来れるしナイフ形石器でない fact4: とある物は判夕だ fact5: もし「あの元素合成は進化し易くない」ということは成り立つならこのチケットカウンターは吸引分娩だしその上直接処遇だ fact6: 「直接処遇な」ものはある fact7: もし仮に「直接処遇であるし進化し易い」ものはあるとすれば「あのポストモダンは認証でない」ということは真実だ fact8: もし仮になんらかの物は来れるけれどナイフ形石器でないとするとそれはエロい fact9: もしも「何らかのものは進化し易いし加えて来れる」ということは間違いだとしたらそれは進化し易くない fact10: なにかは進化し易い fact11: このチケットカウンターは直接処遇であるししかも吸引分娩だ
fact11 -> int1: このチケットカウンターは直接処遇である; fact1 -> int2: このチケットカウンターは進化し易い; int1 & int2 -> int3: このチケットカウンターは直接処遇であるしさらに進化し易い; int3 -> int4: 進化し易い直接処遇はある; int4 & fact7 -> int5: あのポストモダンは認証でない; fact3 -> int6: もしも「あのポストモダンは認証であるということはない」ということは嘘でないとすればそれは来れるけどナイフ形石器でない; int5 & int6 -> int7: あのポストモダンは来れる一方でそれはナイフ形石器でない; fact8 -> int8: もしもあのポストモダンが来れるがナイフ形石器でないならそれはエロい; int7 & int8 -> int9: あのポストモダンはエロい; int9 -> hypothesis;
「あのポストモダンは締めっぽいかエロいかあるいは両方ともである」ということは事実と異なる
fact14 -> int10: もし仮に「あのポストモダンは直接処遇でない」ということは成り立つとすれば「締めっぽいかあるいはエロいかまたは両方ともである」ということは間違いだ; fact12 -> int11: もしも「あの元素合成は進化し易いし更にそれは来れる」ということは誤っているならそれは進化し易くない;
$facts$ = fact1: このチケットカウンターは進化し易いし知識・技術である fact2: 何らかのものは直接処遇でないとしたら「それは締めっぽいかエロい」ということは誤りである fact3: もし「なにがしかのものは認証でない」ということは事実であるなら来れるしナイフ形石器でない fact4: とある物は判夕だ fact5: もし「あの元素合成は進化し易くない」ということは成り立つならこのチケットカウンターは吸引分娩だしその上直接処遇だ fact6: 「直接処遇な」ものはある fact7: もし仮に「直接処遇であるし進化し易い」ものはあるとすれば「あのポストモダンは認証でない」ということは真実だ fact8: もし仮になんらかの物は来れるけれどナイフ形石器でないとするとそれはエロい fact9: もしも「何らかのものは進化し易いし加えて来れる」ということは間違いだとしたらそれは進化し易くない fact10: なにかは進化し易い fact11: このチケットカウンターは直接処遇であるししかも吸引分娩だ ; $hypothesis$ = あのポストモダンは締めっぽいかもしくはエロい ; $proof$ = 
fact11 -> int1: このチケットカウンターは直接処遇である; fact1 -> int2: このチケットカウンターは進化し易い; int1 & int2 -> int3: このチケットカウンターは直接処遇であるしさらに進化し易い; int3 -> int4: 進化し易い直接処遇はある; int4 & fact7 -> int5: あのポストモダンは認証でない; fact3 -> int6: もしも「あのポストモダンは認証であるということはない」ということは嘘でないとすればそれは来れるけどナイフ形石器でない; int5 & int6 -> int7: あのポストモダンは来れる一方でそれはナイフ形石器でない; fact8 -> int8: もしもあのポストモダンが来れるがナイフ形石器でないならそれはエロい; int7 & int8 -> int9: あのポストモダンはエロい; int9 -> hypothesis; __PROVED__
事実1: このチケットカウンターは進化し易いし知識・技術である
事実2: 何らかのものは直接処遇でないとしたら「それは締めっぽいかエロい」ということは誤りである
事実3: もし「なにがしかのものは認証でない」ということは事実であるなら来れるしナイフ形石器でない
事実4: とある物は判夕だ
事実5: もし「あの元素合成は進化し易くない」ということは成り立つならこのチケットカウンターは吸引分娩だしその上直接処遇だ
事実6: 「直接処遇な」ものはある
事実7: もし仮に「直接処遇であるし進化し易い」ものはあるとすれば「あのポストモダンは認証でない」ということは真実だ
事実8: もし仮になんらかの物は来れるけれどナイフ形石器でないとするとそれはエロい
事実9: もしも「何らかのものは進化し易いし加えて来れる」ということは間違いだとしたらそれは進化し易くない
事実10: なにかは進化し易い
事実11: このチケットカウンターは直接処遇であるししかも吸引分娩だ

仮説: あのポストモダンは締めっぽいかもしくはエロい
1. 事実11から、推論1: "このチケットカウンターは直接処遇である"が導かれる
2. 事実1から、推論2: "このチケットカウンターは進化し易い"が導かれる
3. 推論1と推論2から、推論3: "このチケットカウンターは直接処遇であるしさらに進化し易い"が導かれる
4. 推論3から、推論4: "進化し易い直接処遇はある"が導かれる
5. 推論4と事実7から、推論5: "あのポストモダンは認証でない"が導かれる
6. 事実3から、推論6: "もしも「あのポストモダンは認証であるということはない」ということは嘘でないとすればそれは来れるけどナイフ形石器でない"が導かれる
7. 推論5と推論6から、推論7: "あのポストモダンは来れる一方でそれはナイフ形石器でない"が導かれる
8. 事実8から、推論8: "もしもあのポストモダンが来れるがナイフ形石器でないならそれはエロい"が導かれる
9. 推論7と推論8から、推論9: "あのポストモダンはエロい"が導かれる
10. 推論9から、仮説が導かれる

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