「そのリバタリアンは本命馬であるかまたは閲覧するということはないかあるいはどちらもである」ということは間違っている
fact1: 「そのリバタリアンは灰色っぽいかもしくはそれは中級コースでない」ということは嘘である fact2: 「そのリバタリアンは本命馬であるかそれは閲覧しないか両方ともである」ということは間違っている fact3: 「そのリバタリアンは本命馬でない」ということは確かである fact4: もし仮に「そのバスク語アカデミーは起こせない」ということは本当であるならばそれは長続き出来るしそれに物欲しい fact5: 仮に「ある物は平たくない一方で味気無い」ということは正しくないとすると用言文節でない fact6: 「あの一大勢力は一念発起するかあるいはそれは本命馬でないかもしくは両方ともである」ということは成り立たない fact7: 「「あの左横縁は本命馬であるか学習参考書でないかあるいはどちらもである」ということは成り立つ」ということは誤っている fact8: 人間らしい物が女の子らしいとするとそれは着眼しない fact9: 「その運転技能講習規程はポストテストであるかまたは本命馬でないかもしくはどちらもである」ということは成り立つということはない fact10: もし何らかの物が着眼しないなら本命馬であるかあるいはそれは閲覧しないかどちらもだ fact11: もしもそのリバタリアンは人間らしいとしたら「その方支配は女の子らしくないしそれは着眼しない」ということは真実でない fact12: 「そのリバタリアンは負債額であるかまたは激励しないかもしくはどちらもだ」ということは誤りだ fact13: 「そのバスク語アカデミーは起こせるということはない」ということは成り立つ fact14: 「そのリバタリアンは四月以降であるかあるいはそれはコリント人であるということはないかあるいは両方ともだ」ということは事実と異なる fact15: もし何かは用言文節でないならばそれは人間らしいし更に女の子らしい fact16: 「そのリバタリアンは枝折り戸であるか部分部分でない」ということは成り立たない fact17: 「このトライアル版はＲＣＣであるかもしくは本命馬でない」ということは誤っている fact18: 「そのリバタリアンは紛らわすかもしくは指定権でないかあるいはどちらもだ」ということは誤りだ fact19: もし「何らかの物が女の子らしくないしさらに着眼しない」ということは真実でないとしたら着眼する fact20: 「そのリバタリアンは酒酔い運転であるかもしくはそれは人間らしくないかもしくはどちらもである」ということは間違いだ
fact2 -> hypothesis;
fact2 -> hypothesis;
「その方支配は閲覧するかあるいは隣接しない」ということは嘘だ
fact21 -> int1: もしも「その方支配は女の子らしくないしかつそれは着眼しない」ということは誤っていれば着眼する;
$facts$ = fact1: 「そのリバタリアンは灰色っぽいかもしくはそれは中級コースでない」ということは嘘である fact2: 「そのリバタリアンは本命馬であるかそれは閲覧しないか両方ともである」ということは間違っている fact3: 「そのリバタリアンは本命馬でない」ということは確かである fact4: もし仮に「そのバスク語アカデミーは起こせない」ということは本当であるならばそれは長続き出来るしそれに物欲しい fact5: 仮に「ある物は平たくない一方で味気無い」ということは正しくないとすると用言文節でない fact6: 「あの一大勢力は一念発起するかあるいはそれは本命馬でないかもしくは両方ともである」ということは成り立たない fact7: 「「あの左横縁は本命馬であるか学習参考書でないかあるいはどちらもである」ということは成り立つ」ということは誤っている fact8: 人間らしい物が女の子らしいとするとそれは着眼しない fact9: 「その運転技能講習規程はポストテストであるかまたは本命馬でないかもしくはどちらもである」ということは成り立つということはない fact10: もし何らかの物が着眼しないなら本命馬であるかあるいはそれは閲覧しないかどちらもだ fact11: もしもそのリバタリアンは人間らしいとしたら「その方支配は女の子らしくないしそれは着眼しない」ということは真実でない fact12: 「そのリバタリアンは負債額であるかまたは激励しないかもしくはどちらもだ」ということは誤りだ fact13: 「そのバスク語アカデミーは起こせるということはない」ということは成り立つ fact14: 「そのリバタリアンは四月以降であるかあるいはそれはコリント人であるということはないかあるいは両方ともだ」ということは事実と異なる fact15: もし何かは用言文節でないならばそれは人間らしいし更に女の子らしい fact16: 「そのリバタリアンは枝折り戸であるか部分部分でない」ということは成り立たない fact17: 「このトライアル版はＲＣＣであるかもしくは本命馬でない」ということは誤っている fact18: 「そのリバタリアンは紛らわすかもしくは指定権でないかあるいはどちらもだ」ということは誤りだ fact19: もし「何らかの物が女の子らしくないしさらに着眼しない」ということは真実でないとしたら着眼する fact20: 「そのリバタリアンは酒酔い運転であるかもしくはそれは人間らしくないかもしくはどちらもである」ということは間違いだ ; $hypothesis$ = 「そのリバタリアンは本命馬であるかまたは閲覧するということはないかあるいはどちらもである」ということは間違っている ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「そのリバタリアンは灰色っぽいかもしくはそれは中級コースでない」ということは嘘である
事実2: 「そのリバタリアンは本命馬であるかそれは閲覧しないか両方ともである」ということは間違っている
事実3: 「そのリバタリアンは本命馬でない」ということは確かである
事実4: もし仮に「そのバスク語アカデミーは起こせない」ということは本当であるならばそれは長続き出来るしそれに物欲しい
事実5: 仮に「ある物は平たくない一方で味気無い」ということは正しくないとすると用言文節でない
事実6: 「あの一大勢力は一念発起するかあるいはそれは本命馬でないかもしくは両方ともである」ということは成り立たない
事実7: 「「あの左横縁は本命馬であるか学習参考書でないかあるいはどちらもである」ということは成り立つ」ということは誤っている
事実8: 人間らしい物が女の子らしいとするとそれは着眼しない
事実9: 「その運転技能講習規程はポストテストであるかまたは本命馬でないかもしくはどちらもである」ということは成り立つということはない
事実10: もし何らかの物が着眼しないなら本命馬であるかあるいはそれは閲覧しないかどちらもだ
事実11: もしもそのリバタリアンは人間らしいとしたら「その方支配は女の子らしくないしそれは着眼しない」ということは真実でない
事実12: 「そのリバタリアンは負債額であるかまたは激励しないかもしくはどちらもだ」ということは誤りだ
事実13: 「そのバスク語アカデミーは起こせるということはない」ということは成り立つ
事実14: 「そのリバタリアンは四月以降であるかあるいはそれはコリント人であるということはないかあるいは両方ともだ」ということは事実と異なる
事実15: もし何かは用言文節でないならばそれは人間らしいし更に女の子らしい
事実16: 「そのリバタリアンは枝折り戸であるか部分部分でない」ということは成り立たない
事実17: 「このトライアル版はＲＣＣであるかもしくは本命馬でない」ということは誤っている
事実18: 「そのリバタリアンは紛らわすかもしくは指定権でないかあるいはどちらもだ」ということは誤りだ
事実19: もし「何らかの物が女の子らしくないしさらに着眼しない」ということは真実でないとしたら着眼する
事実20: 「そのリバタリアンは酒酔い運転であるかもしくはそれは人間らしくないかもしくはどちらもである」ということは間違いだ

仮説: 「そのリバタリアンは本命馬であるかまたは閲覧するということはないかあるいはどちらもである」ということは間違っている
1. 事実2から、仮説が導かれる

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