仮にあのバージンはひ弱いならば「それは青白いかあるいは黒しないかまたは両方だ」ということは誤っている
fact1: もしもとある物は再訪するとすれば「それは采地であるかあるいはしくじらないかあるいは両方だ」ということは偽だ fact2: ひ弱い物は黒し fact3: 「もしもあのバージンは中華料理屋だとすると「あのバージンは連想し易いかまたは黒しないか両方だ」ということは誤りである」ということは真実だ fact4: いじらしい物は無人化する fact5: もし「あのバージンはひ弱い」ということは成り立つとすると青白いかあるいはそれは黒しない fact6: もしあのバージンがひ弱いとすると黒し fact7: 「あのバージンは書き分けない」ということは間違いならば「それは黒しかあるいは概算するということはないかもしくは両方である」ということは誤っている fact8: もしこの大ジョッキは眠いとしたら「それは青白いかまたはそれは観光化するということはないかあるいはどちらもだ」ということは本当でない fact9: もし「その蛍光ペンは青白い」ということは正しいなら彼女らしいかあるいは受け易くない fact10: スポーツマンらしいものは問われ兼ねるかまたは出土しないかあるいはどちらもだ fact11: 何らかのものが自然人だとするとシングルモードファイバであるかまたは野重砲でないかもしくは両方だ fact12: なにがしかのものが割譲するなら知的遺産だ fact13: もし仮になにがしかの物は届き難いとすると「腫れぼったいかもしくは久しないかあるいは両方だ」ということは成り立たない fact14: 仮にあのバージンが青白いとしたらそれは実感する fact15: 久しものは若者らしいかあるいは対応し易いということはないかまたは両方だ fact16: ひ弱い物は青白いかあるいは黒しということはない fact17: もしもその常緑低木は不法占拠であるならば「それは青白いかあるいはポンズでない」ということは誤っている fact18: 仮に何らかの物はひ弱いとすると「青白いかまたは黒しない」ということは正しくない
fact18 -> hypothesis;
fact18 -> hypothesis;
$facts$ = fact1: もしもとある物は再訪するとすれば「それは采地であるかあるいはしくじらないかあるいは両方だ」ということは偽だ fact2: ひ弱い物は黒し fact3: 「もしもあのバージンは中華料理屋だとすると「あのバージンは連想し易いかまたは黒しないか両方だ」ということは誤りである」ということは真実だ fact4: いじらしい物は無人化する fact5: もし「あのバージンはひ弱い」ということは成り立つとすると青白いかあるいはそれは黒しない fact6: もしあのバージンがひ弱いとすると黒し fact7: 「あのバージンは書き分けない」ということは間違いならば「それは黒しかあるいは概算するということはないかもしくは両方である」ということは誤っている fact8: もしこの大ジョッキは眠いとしたら「それは青白いかまたはそれは観光化するということはないかあるいはどちらもだ」ということは本当でない fact9: もし「その蛍光ペンは青白い」ということは正しいなら彼女らしいかあるいは受け易くない fact10: スポーツマンらしいものは問われ兼ねるかまたは出土しないかあるいはどちらもだ fact11: 何らかのものが自然人だとするとシングルモードファイバであるかまたは野重砲でないかもしくは両方だ fact12: なにがしかのものが割譲するなら知的遺産だ fact13: もし仮になにがしかの物は届き難いとすると「腫れぼったいかもしくは久しないかあるいは両方だ」ということは成り立たない fact14: 仮にあのバージンが青白いとしたらそれは実感する fact15: 久しものは若者らしいかあるいは対応し易いということはないかまたは両方だ fact16: ひ弱い物は青白いかあるいは黒しということはない fact17: もしもその常緑低木は不法占拠であるならば「それは青白いかあるいはポンズでない」ということは誤っている fact18: 仮に何らかの物はひ弱いとすると「青白いかまたは黒しない」ということは正しくない ; $hypothesis$ = 仮にあのバージンはひ弱いならば「それは青白いかあるいは黒しないかまたは両方だ」ということは誤っている ; $proof$ = 
fact18 -> hypothesis; __PROVED__
事実1: もしもとある物は再訪するとすれば「それは采地であるかあるいはしくじらないかあるいは両方だ」ということは偽だ
事実2: ひ弱い物は黒し
事実3: 「もしもあのバージンは中華料理屋だとすると「あのバージンは連想し易いかまたは黒しないか両方だ」ということは誤りである」ということは真実だ
事実4: いじらしい物は無人化する
事実5: もし「あのバージンはひ弱い」ということは成り立つとすると青白いかあるいはそれは黒しない
事実6: もしあのバージンがひ弱いとすると黒し
事実7: 「あのバージンは書き分けない」ということは間違いならば「それは黒しかあるいは概算するということはないかもしくは両方である」ということは誤っている
事実8: もしこの大ジョッキは眠いとしたら「それは青白いかまたはそれは観光化するということはないかあるいはどちらもだ」ということは本当でない
事実9: もし「その蛍光ペンは青白い」ということは正しいなら彼女らしいかあるいは受け易くない
事実10: スポーツマンらしいものは問われ兼ねるかまたは出土しないかあるいはどちらもだ
事実11: 何らかのものが自然人だとするとシングルモードファイバであるかまたは野重砲でないかもしくは両方だ
事実12: なにがしかのものが割譲するなら知的遺産だ
事実13: もし仮になにがしかの物は届き難いとすると「腫れぼったいかもしくは久しないかあるいは両方だ」ということは成り立たない
事実14: 仮にあのバージンが青白いとしたらそれは実感する
事実15: 久しものは若者らしいかあるいは対応し易いということはないかまたは両方だ
事実16: ひ弱い物は青白いかあるいは黒しということはない
事実17: もしもその常緑低木は不法占拠であるならば「それは青白いかあるいはポンズでない」ということは誤っている
事実18: 仮に何らかの物はひ弱いとすると「青白いかまたは黒しない」ということは正しくない

仮説: 仮にあのバージンはひ弱いならば「それは青白いかあるいは黒しないかまたは両方だ」ということは誤っている
1. 事実18から、仮説が導かれる

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