あのスターウォーズは湿っぽい
fact1: 大差無くない物はブルートレインでないかもしくは憎しないか両方だ fact2: もし仮にその十一日付けが大差無いならばあの金賞は大差無くない fact3: この性愛は得られ難い fact4: その十一日付けは作成出来ない fact5: もしなにかはブランドらしくないとすればそれは施行するし湿っぽい fact6: もしこの性愛が年金債務だとすればあのスターウォーズはチェキラでないかもしくは調伏しないかあるいは両方ともである fact7: あのスターウォーズは湿っぽい fact8: チェキラは得られ難いということはない fact9: あの内的境界は湿っぽい fact10: とある物が暗唱するとするとそれはブランドらしい fact11: もしもなんらかの物がブルートレインでないかもしくはそれは憎しないか両方であるならばそれはブルートレインでない fact12: もし「何らかのものは選択され易くないししかも恕しない」ということは誤りならそれは年金債務だ fact13: もしある物は得られ難くないとしたら「それが口さはなくないがしかし暗唱する」ということは成り立たない fact14: 得られ難いものがチェキラでないならば口さはなくない fact15: もし仮に「なにがしかの物が口さはなくない一方で暗唱する」ということは成り立たないとすればそれはブランドらしくない fact16: 仮にその十一日付けが子兎ならばあの金賞は大差無くない fact17: あの金賞はブルートレインでないなら「この性愛は選択され易くないし恕しない」ということは成り立たない fact18: その十一日付けが作成出来ないとすると大差無いかあるいはそれは子兎である fact19: もしあのスターウォーズがチェキラであるということはないかあるいは調伏しないかもしくはどちらもであるならばあの研究授業はチェキラだ fact20: この性愛はチェキラでない fact21: もしあるものがブランドらしいならばそれは湿っぽいということはない一方で施行する
fact7 -> hypothesis;
fact7 -> hypothesis;
「あのスターウォーズは湿っぽくない」ということは成り立つ
fact25 -> int1: 仮にあのスターウォーズがブランドらしいならば湿っぽくないけれど施行する; fact26 -> int2: 仮にあのスターウォーズが暗唱すればそれはブランドらしい; fact22 -> int3: もし仮に「この性愛は得られ難いがチェキラでない」ということは本当であるならば口さはなくない; fact24 & fact23 -> int4: この性愛は得られ難いがしかしそれはチェキラでない; int3 & int4 -> int5: 「この性愛は口さがないということはない」ということは本当である; int5 -> int6: 口さがなくないものはある;
$facts$ = fact1: 大差無くない物はブルートレインでないかもしくは憎しないか両方だ fact2: もし仮にその十一日付けが大差無いならばあの金賞は大差無くない fact3: この性愛は得られ難い fact4: その十一日付けは作成出来ない fact5: もしなにかはブランドらしくないとすればそれは施行するし湿っぽい fact6: もしこの性愛が年金債務だとすればあのスターウォーズはチェキラでないかもしくは調伏しないかあるいは両方ともである fact7: あのスターウォーズは湿っぽい fact8: チェキラは得られ難いということはない fact9: あの内的境界は湿っぽい fact10: とある物が暗唱するとするとそれはブランドらしい fact11: もしもなんらかの物がブルートレインでないかもしくはそれは憎しないか両方であるならばそれはブルートレインでない fact12: もし「何らかのものは選択され易くないししかも恕しない」ということは誤りならそれは年金債務だ fact13: もしある物は得られ難くないとしたら「それが口さはなくないがしかし暗唱する」ということは成り立たない fact14: 得られ難いものがチェキラでないならば口さはなくない fact15: もし仮に「なにがしかの物が口さはなくない一方で暗唱する」ということは成り立たないとすればそれはブランドらしくない fact16: 仮にその十一日付けが子兎ならばあの金賞は大差無くない fact17: あの金賞はブルートレインでないなら「この性愛は選択され易くないし恕しない」ということは成り立たない fact18: その十一日付けが作成出来ないとすると大差無いかあるいはそれは子兎である fact19: もしあのスターウォーズがチェキラであるということはないかあるいは調伏しないかもしくはどちらもであるならばあの研究授業はチェキラだ fact20: この性愛はチェキラでない fact21: もしあるものがブランドらしいならばそれは湿っぽいということはない一方で施行する ; $hypothesis$ = あのスターウォーズは湿っぽい ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 大差無くない物はブルートレインでないかもしくは憎しないか両方だ
事実2: もし仮にその十一日付けが大差無いならばあの金賞は大差無くない
事実3: この性愛は得られ難い
事実4: その十一日付けは作成出来ない
事実5: もしなにかはブランドらしくないとすればそれは施行するし湿っぽい
事実6: もしこの性愛が年金債務だとすればあのスターウォーズはチェキラでないかもしくは調伏しないかあるいは両方ともである
事実7: あのスターウォーズは湿っぽい
事実8: チェキラは得られ難いということはない
事実9: あの内的境界は湿っぽい
事実10: とある物が暗唱するとするとそれはブランドらしい
事実11: もしもなんらかの物がブルートレインでないかもしくはそれは憎しないか両方であるならばそれはブルートレインでない
事実12: もし「何らかのものは選択され易くないししかも恕しない」ということは誤りならそれは年金債務だ
事実13: もしある物は得られ難くないとしたら「それが口さはなくないがしかし暗唱する」ということは成り立たない
事実14: 得られ難いものがチェキラでないならば口さはなくない
事実15: もし仮に「なにがしかの物が口さはなくない一方で暗唱する」ということは成り立たないとすればそれはブランドらしくない
事実16: 仮にその十一日付けが子兎ならばあの金賞は大差無くない
事実17: あの金賞はブルートレインでないなら「この性愛は選択され易くないし恕しない」ということは成り立たない
事実18: その十一日付けが作成出来ないとすると大差無いかあるいはそれは子兎である
事実19: もしあのスターウォーズがチェキラであるということはないかあるいは調伏しないかもしくはどちらもであるならばあの研究授業はチェキラだ
事実20: この性愛はチェキラでない
事実21: もしあるものがブランドらしいならばそれは湿っぽいということはない一方で施行する

仮説: あのスターウォーズは湿っぽい
1. 事実7から、仮説が導かれる

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