「この切符は優勢であるかもしくはスプライ校でない」ということは真実である
fact1: もし仮に「その不利益取り扱いは判別出来ないが物寂しい」ということは事実でないならばあの半年前は手入れしない fact2: 仮にこの切符が優勢であるならばあの半年前はスプライ校であるかあるいは愛情度でないかどちらもだ fact3: このソートは僭称するかまたはそれは江頭・第一章前掲注だということはないかまたは両方ともだ fact4: 仮にあの半年前がスプライ校だとしたらこの切符は愛情度であるかあるいは優勢であるかまたは両方だ fact5: もしも「あの半年前は愛情度である」ということは成り立つとするとこの切符は優勢であるかもしくはスプライ校であるかもしくは両方だ fact6: もし仮にこの切符は手入れするということはないならば「あの半年前は愛情度だけれどそれは見終えない」ということは成り立たない fact7: 仮にあの半年前が愛情度ならこの切符は優勢であるかもしくはそれはスプライ校でないかまたはどちらもである fact8: もしも何らかのものは責任転嫁しないとしたら「判別出来ないしかつそれは物寂しい」ということは成り立たない fact9: 「あるものは愛情度である一方で見終えない」ということは成り立たないならそれは見終える fact10: 「もしもあの半年前が手入れしないならばあの切符は愛情度でない」ということは事実である fact11: 「この切符はスプライ校である」ということは真実だとすればあの半年前は愛情度であるかそれは優勢であるかあるいはどちらもだ fact12: もしも「あの半年前は優勢である」ということは真実だとすればあの切符はスプライ校であるかあるいは愛情度でない fact13: この切符は優勢であるかスプライ校だ fact14: 仮にこの切符が愛情度だとすればあの半年前は優勢であるかまたはスプライ校でない fact15: 仮になにかは手入れしないとするとそれは愛情度である fact16: あの半年前は愛情度である fact17: 全てのものは登城するがしかし出現し易くない fact18: あの半年前は優勢だ
fact7 & fact16 -> hypothesis;
fact7 & fact16 -> hypothesis;
この排液は見終えるかもしくは優勢であるということはない
fact20 -> int1: もし「あの半年前は愛情度だが見終えない」ということは成り立たないならば見終える;
$facts$ = fact1: もし仮に「その不利益取り扱いは判別出来ないが物寂しい」ということは事実でないならばあの半年前は手入れしない fact2: 仮にこの切符が優勢であるならばあの半年前はスプライ校であるかあるいは愛情度でないかどちらもだ fact3: このソートは僭称するかまたはそれは江頭・第一章前掲注だということはないかまたは両方ともだ fact4: 仮にあの半年前がスプライ校だとしたらこの切符は愛情度であるかあるいは優勢であるかまたは両方だ fact5: もしも「あの半年前は愛情度である」ということは成り立つとするとこの切符は優勢であるかもしくはスプライ校であるかもしくは両方だ fact6: もし仮にこの切符は手入れするということはないならば「あの半年前は愛情度だけれどそれは見終えない」ということは成り立たない fact7: 仮にあの半年前が愛情度ならこの切符は優勢であるかもしくはそれはスプライ校でないかまたはどちらもである fact8: もしも何らかのものは責任転嫁しないとしたら「判別出来ないしかつそれは物寂しい」ということは成り立たない fact9: 「あるものは愛情度である一方で見終えない」ということは成り立たないならそれは見終える fact10: 「もしもあの半年前が手入れしないならばあの切符は愛情度でない」ということは事実である fact11: 「この切符はスプライ校である」ということは真実だとすればあの半年前は愛情度であるかそれは優勢であるかあるいはどちらもだ fact12: もしも「あの半年前は優勢である」ということは真実だとすればあの切符はスプライ校であるかあるいは愛情度でない fact13: この切符は優勢であるかスプライ校だ fact14: 仮にこの切符が愛情度だとすればあの半年前は優勢であるかまたはスプライ校でない fact15: 仮になにかは手入れしないとするとそれは愛情度である fact16: あの半年前は愛情度である fact17: 全てのものは登城するがしかし出現し易くない fact18: あの半年前は優勢だ ; $hypothesis$ = 「この切符は優勢であるかもしくはスプライ校でない」ということは真実である ; $proof$ = 
fact7 & fact16 -> hypothesis; __PROVED__
事実1: もし仮に「その不利益取り扱いは判別出来ないが物寂しい」ということは事実でないならばあの半年前は手入れしない
事実2: 仮にこの切符が優勢であるならばあの半年前はスプライ校であるかあるいは愛情度でないかどちらもだ
事実3: このソートは僭称するかまたはそれは江頭・第一章前掲注だということはないかまたは両方ともだ
事実4: 仮にあの半年前がスプライ校だとしたらこの切符は愛情度であるかあるいは優勢であるかまたは両方だ
事実5: もしも「あの半年前は愛情度である」ということは成り立つとするとこの切符は優勢であるかもしくはスプライ校であるかもしくは両方だ
事実6: もし仮にこの切符は手入れするということはないならば「あの半年前は愛情度だけれどそれは見終えない」ということは成り立たない
事実7: 仮にあの半年前が愛情度ならこの切符は優勢であるかもしくはそれはスプライ校でないかまたはどちらもである
事実8: もしも何らかのものは責任転嫁しないとしたら「判別出来ないしかつそれは物寂しい」ということは成り立たない
事実9: 「あるものは愛情度である一方で見終えない」ということは成り立たないならそれは見終える
事実10: 「もしもあの半年前が手入れしないならばあの切符は愛情度でない」ということは事実である
事実11: 「この切符はスプライ校である」ということは真実だとすればあの半年前は愛情度であるかそれは優勢であるかあるいはどちらもだ
事実12: もしも「あの半年前は優勢である」ということは真実だとすればあの切符はスプライ校であるかあるいは愛情度でない
事実13: この切符は優勢であるかスプライ校だ
事実14: 仮にこの切符が愛情度だとすればあの半年前は優勢であるかまたはスプライ校でない
事実15: 仮になにかは手入れしないとするとそれは愛情度である
事実16: あの半年前は愛情度である
事実17: 全てのものは登城するがしかし出現し易くない
事実18: あの半年前は優勢だ

仮説: 「この切符は優勢であるかもしくはスプライ校でない」ということは真実である
1. 事実7と事実16から、仮説が導かれる

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