その玉はスピーチする
fact1: この財産犯は馬蹄であるかあるいはスピーチする fact2: この財産犯は思しない fact3: この財産犯はなぞるかそれは馬蹄であるかあるいはどちらもだ fact4: もし仮にこの財産犯が浅ましないかもしくはそれが思しないとすればそれは浅ましない fact5: もし仮にその玉がなぞるとしたらこの財産犯は馬蹄である fact6: その覚醒剤取り締まり法違反は慈愛深いかそれはスピーチするか両方である fact7: もし何かは醸造用でないならば「陸揚げするしまた浅まし」ということは間違いである fact8: 「「そのリットン報告書は思しが切り絵図でない」ということは間違いだ」ということは成り立つ fact9: その玉がスピーチするとすればこの点滴針は馬蹄だ fact10: この財産犯は馬蹄であるなら「その玉はスピーチする」ということは事実である fact11: もしその玉が馬蹄ならあの十六席はスピーチする fact12: その玉は馬蹄であるかあるいはそれはアンフィシアターであるか両方ともである fact13: その玉は服用中である fact14: 仮にその玉がなぞるとしたらこの財産犯はスピーチする fact15: もし仮に「そのリットン報告書は思しけれどそれは切り絵図でない」ということは事実でないとすれば「醸造用でない」ということは成り立つ fact16: 「もしこの財産犯が陸揚げしないとすればその玉はスモールビジネスであるしその上それは馬蹄である」ということは事実である fact17: この財産犯がスピーチすればその玉は馬蹄である fact18: 「この財産犯はなぞる」ということは確かならその玉はスピーチする fact19: この財産犯が浅ましないとすればその前場は陸揚げしないかもしくはスモールビジネスでないかあるいはどちらもだ fact20: もしもその玉が馬蹄であるとしたらこの財産犯はスピーチする fact21: もし何らかのものは陸揚げしないとしたら「馬蹄でない」ということは成り立つ fact22: 馬蹄はスピーチするということはなくてしかもなぞるということはない
fact3 & fact18 & fact10 -> hypothesis;
fact3 & fact18 & fact10 -> hypothesis;
その玉はスピーチしない
fact26 -> int1: もし仮にその玉が馬蹄だとすればスピーチしないしそれはなぞらない; fact24 -> int2: もしそのリットン報告書は醸造用でないならば「それは陸揚げするしその上浅まし」ということは確かだということはない; fact27 & fact23 -> int3: そのリットン報告書は醸造用でない; int2 & int3 -> int4: 「そのリットン報告書は陸揚げするし加えて浅まし」ということは成り立たない; int4 -> int5: 「「陸揚げするし加えて浅まし」ということは成り立たない」ものはある;
$facts$ = fact1: この財産犯は馬蹄であるかあるいはスピーチする fact2: この財産犯は思しない fact3: この財産犯はなぞるかそれは馬蹄であるかあるいはどちらもだ fact4: もし仮にこの財産犯が浅ましないかもしくはそれが思しないとすればそれは浅ましない fact5: もし仮にその玉がなぞるとしたらこの財産犯は馬蹄である fact6: その覚醒剤取り締まり法違反は慈愛深いかそれはスピーチするか両方である fact7: もし何かは醸造用でないならば「陸揚げするしまた浅まし」ということは間違いである fact8: 「「そのリットン報告書は思しが切り絵図でない」ということは間違いだ」ということは成り立つ fact9: その玉がスピーチするとすればこの点滴針は馬蹄だ fact10: この財産犯は馬蹄であるなら「その玉はスピーチする」ということは事実である fact11: もしその玉が馬蹄ならあの十六席はスピーチする fact12: その玉は馬蹄であるかあるいはそれはアンフィシアターであるか両方ともである fact13: その玉は服用中である fact14: 仮にその玉がなぞるとしたらこの財産犯はスピーチする fact15: もし仮に「そのリットン報告書は思しけれどそれは切り絵図でない」ということは事実でないとすれば「醸造用でない」ということは成り立つ fact16: 「もしこの財産犯が陸揚げしないとすればその玉はスモールビジネスであるしその上それは馬蹄である」ということは事実である fact17: この財産犯がスピーチすればその玉は馬蹄である fact18: 「この財産犯はなぞる」ということは確かならその玉はスピーチする fact19: この財産犯が浅ましないとすればその前場は陸揚げしないかもしくはスモールビジネスでないかあるいはどちらもだ fact20: もしもその玉が馬蹄であるとしたらこの財産犯はスピーチする fact21: もし何らかのものは陸揚げしないとしたら「馬蹄でない」ということは成り立つ fact22: 馬蹄はスピーチするということはなくてしかもなぞるということはない ; $hypothesis$ = その玉はスピーチする ; $proof$ = 
fact3 & fact18 & fact10 -> hypothesis; __PROVED__
事実1: この財産犯は馬蹄であるかあるいはスピーチする
事実2: この財産犯は思しない
事実3: この財産犯はなぞるかそれは馬蹄であるかあるいはどちらもだ
事実4: もし仮にこの財産犯が浅ましないかもしくはそれが思しないとすればそれは浅ましない
事実5: もし仮にその玉がなぞるとしたらこの財産犯は馬蹄である
事実6: その覚醒剤取り締まり法違反は慈愛深いかそれはスピーチするか両方である
事実7: もし何かは醸造用でないならば「陸揚げするしまた浅まし」ということは間違いである
事実8: 「「そのリットン報告書は思しが切り絵図でない」ということは間違いだ」ということは成り立つ
事実9: その玉がスピーチするとすればこの点滴針は馬蹄だ
事実10: この財産犯は馬蹄であるなら「その玉はスピーチする」ということは事実である
事実11: もしその玉が馬蹄ならあの十六席はスピーチする
事実12: その玉は馬蹄であるかあるいはそれはアンフィシアターであるか両方ともである
事実13: その玉は服用中である
事実14: 仮にその玉がなぞるとしたらこの財産犯はスピーチする
事実15: もし仮に「そのリットン報告書は思しけれどそれは切り絵図でない」ということは事実でないとすれば「醸造用でない」ということは成り立つ
事実16: 「もしこの財産犯が陸揚げしないとすればその玉はスモールビジネスであるしその上それは馬蹄である」ということは事実である
事実17: この財産犯がスピーチすればその玉は馬蹄である
事実18: 「この財産犯はなぞる」ということは確かならその玉はスピーチする
事実19: この財産犯が浅ましないとすればその前場は陸揚げしないかもしくはスモールビジネスでないかあるいはどちらもだ
事実20: もしもその玉が馬蹄であるとしたらこの財産犯はスピーチする
事実21: もし何らかのものは陸揚げしないとしたら「馬蹄でない」ということは成り立つ
事実22: 馬蹄はスピーチするということはなくてしかもなぞるということはない

仮説: その玉はスピーチする
1. 事実3と事実18と事実10から、仮説が導かれる

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