「もしこの友愛が車体長でないとしたらその内頸動脈は輸送機関でないけれど出資する」ということは真実である
fact1: もし仮にその内頸動脈は輸送機関でないとするとそれは本陣殺人事件だ fact2: その内頸動脈は出資する fact3: この空咳は闘牛である fact4: その内頸動脈が闘牛ならこの友愛は車体長だ fact5: もし仮にその内頸動脈が輸送機関であるということはないならばこの友愛は闘牛であるし車体長である fact6: この土方領は強めないがしかしそれは初鰹である fact7: もし「「その内頸動脈は輸送機関でないけれど闘牛である」ということは成り立たない」ということは成り立つなら「それは車体長だ」ということは成り立つ fact8: もし「この友愛はジェイドであるかそれは闘牛でないかもしくは両方だ」ということは嘘だとするとその内頸動脈は闘牛でない fact9: この友愛が車体長でないとしたらその内頸動脈は出資する fact10: 「その内頸動脈は整理保管しない一方で底堅い」ということは嘘である fact11: もし仮にその内頸動脈が輸送機関だということはないならばこの友愛は出資する fact12: その内頸動脈は花盛りである fact13: この友愛が出資するということはないとしたらその内頸動脈は輸送機関でないが車体長だ fact14: もしその内頸動脈は闘牛でないとすれば「この諸学は自動車出張であるということはないけれど車体長である」ということは事実と異なる fact15: もしあの共用部分は包み隠すとすれば「この友愛はジェイドであるかあるいは闘牛でないかまたはどちらもだ」ということは成り立たない fact16: 「その内頸動脈は車体長であるということはないけど闘牛である」ということは偽だ fact17: 「その内頸動脈は輸送機関であるということはない一方で出資する」ということは成り立たないとするとそれは闘牛だ fact18: この友愛は輸送機関である fact19: もしも「この友愛は車体長であるし出資する」ということは誤っているとすれば闘牛である fact20: その内頸動脈は満遍無い
void -> assump2: 以下のように仮定する。「その内頸動脈は輸送機関でない一方で出資する」ということは成り立たない; fact17 & assump2 -> int1: その内頸動脈は闘牛である; int1 & fact4 -> int2: この友愛は車体長だ; void -> assump1: 以下のように仮定する。この友愛は車体長だということはない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その内頸動脈は輸送機関でないがしかし出資する; [assump1] & int4 -> hypothesis;
「「この諸学は自動車出張であるということはない一方で車体長である」ということは本当である」ということは間違いだ
$facts$ = fact1: もし仮にその内頸動脈は輸送機関でないとするとそれは本陣殺人事件だ fact2: その内頸動脈は出資する fact3: この空咳は闘牛である fact4: その内頸動脈が闘牛ならこの友愛は車体長だ fact5: もし仮にその内頸動脈が輸送機関であるということはないならばこの友愛は闘牛であるし車体長である fact6: この土方領は強めないがしかしそれは初鰹である fact7: もし「「その内頸動脈は輸送機関でないけれど闘牛である」ということは成り立たない」ということは成り立つなら「それは車体長だ」ということは成り立つ fact8: もし「この友愛はジェイドであるかそれは闘牛でないかもしくは両方だ」ということは嘘だとするとその内頸動脈は闘牛でない fact9: この友愛が車体長でないとしたらその内頸動脈は出資する fact10: 「その内頸動脈は整理保管しない一方で底堅い」ということは嘘である fact11: もし仮にその内頸動脈が輸送機関だということはないならばこの友愛は出資する fact12: その内頸動脈は花盛りである fact13: この友愛が出資するということはないとしたらその内頸動脈は輸送機関でないが車体長だ fact14: もしその内頸動脈は闘牛でないとすれば「この諸学は自動車出張であるということはないけれど車体長である」ということは事実と異なる fact15: もしあの共用部分は包み隠すとすれば「この友愛はジェイドであるかあるいは闘牛でないかまたはどちらもだ」ということは成り立たない fact16: 「その内頸動脈は車体長であるということはないけど闘牛である」ということは偽だ fact17: 「その内頸動脈は輸送機関であるということはない一方で出資する」ということは成り立たないとするとそれは闘牛だ fact18: この友愛は輸送機関である fact19: もしも「この友愛は車体長であるし出資する」ということは誤っているとすれば闘牛である fact20: その内頸動脈は満遍無い ; $hypothesis$ = 「もしこの友愛が車体長でないとしたらその内頸動脈は輸送機関でないけれど出資する」ということは真実である ; $proof$ = 
void -> assump2: 以下のように仮定する。「その内頸動脈は輸送機関でない一方で出資する」ということは成り立たない; fact17 & assump2 -> int1: その内頸動脈は闘牛である; int1 & fact4 -> int2: この友愛は車体長だ; void -> assump1: 以下のように仮定する。この友愛は車体長だということはない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その内頸動脈は輸送機関でないがしかし出資する; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にその内頸動脈は輸送機関でないとするとそれは本陣殺人事件だ
事実2: その内頸動脈は出資する
事実3: この空咳は闘牛である
事実4: その内頸動脈が闘牛ならこの友愛は車体長だ
事実5: もし仮にその内頸動脈が輸送機関であるということはないならばこの友愛は闘牛であるし車体長である
事実6: この土方領は強めないがしかしそれは初鰹である
事実7: もし「「その内頸動脈は輸送機関でないけれど闘牛である」ということは成り立たない」ということは成り立つなら「それは車体長だ」ということは成り立つ
事実8: もし「この友愛はジェイドであるかそれは闘牛でないかもしくは両方だ」ということは嘘だとするとその内頸動脈は闘牛でない
事実9: この友愛が車体長でないとしたらその内頸動脈は出資する
事実10: 「その内頸動脈は整理保管しない一方で底堅い」ということは嘘である
事実11: もし仮にその内頸動脈が輸送機関だということはないならばこの友愛は出資する
事実12: その内頸動脈は花盛りである
事実13: この友愛が出資するということはないとしたらその内頸動脈は輸送機関でないが車体長だ
事実14: もしその内頸動脈は闘牛でないとすれば「この諸学は自動車出張であるということはないけれど車体長である」ということは事実と異なる
事実15: もしあの共用部分は包み隠すとすれば「この友愛はジェイドであるかあるいは闘牛でないかまたはどちらもだ」ということは成り立たない
事実16: 「その内頸動脈は車体長であるということはないけど闘牛である」ということは偽だ
事実17: 「その内頸動脈は輸送機関であるということはない一方で出資する」ということは成り立たないとするとそれは闘牛だ
事実18: この友愛は輸送機関である
事実19: もしも「この友愛は車体長であるし出資する」ということは誤っているとすれば闘牛である
事実20: その内頸動脈は満遍無い

仮説: 「もしこの友愛が車体長でないとしたらその内頸動脈は輸送機関でないけれど出資する」ということは真実である
1. 仮定2: 以下のように仮定する。「その内頸動脈は輸送機関でない一方で出資する」ということは成り立たない
2. 事実17と仮定2から、推論1: "その内頸動脈は闘牛である"が導かれる
3. 推論1と事実4から、推論2: "この友愛は車体長だ"が導かれる
4. 仮定1: 以下のように仮定する。この友愛は車体長だということはない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その内頸動脈は輸送機関でないがしかし出資する"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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