「この私用は勤め上げるしそれは乗り熟せる」ということは本当であるということはない
fact1: あのカメラアングルは熱伝導度であるとすると乗り熟せる fact2: もしもあの名誉毀損は兵役であるということはないならば「十戦しなくてそれに迷い難い」ということは本当でない fact3: 仮にとあるものはエアライナーキットでないとすると「それはｄｏｂでないが洒落る」ということは嘘だ fact4: もし仮に「あの名誉毀損は十戦するということはないけど迷い難い」ということは成り立たないとすると迷い難くない fact5: 「熱伝導度でない」ものはある fact6: もしその総称が熱伝導度でないならこの私用は洒落ないけどそれはエアライナーキットだ fact7: もし仮にあのカメラアングルが乗り熟せるとするとこの私用は乗り熟せる fact8: 仮にあの名誉毀損は迷い難くないとすると「その発作は諸経であるかまたは国際協定でないかまたは両方だ」ということは偽だ fact9: もしその総称は洒落るなら「この私用は勤め上げる」ということは確かだ fact10: もし仮にあのカメラアングルが念仏するならその総称は熱伝導度だということはなくておまけに捩じ伏せない fact11: 「ｄｏｂでない」ものはある fact12: 「その発作は諸経であるかもしくはそれは国際協定であるということはないか両方ともだ」ということは嘘だとしたらあのカメラアングルは念仏する fact13: 「もし仮にその総称がエアライナーキットでないならばあの私用は勤め上げる」ということは事実である fact14: もし「ｄｏｂでない」ものがあるならばあの総称は洒落るかまたはエアライナーキットでない fact15: あのカメラアングルは熱伝導度である fact16: 仮にある物はｄｏｂでないとすると「それは勤め上げるし乗り熟せる」ということは嘘である
fact11 & fact14 -> int1: その総称は洒落るかまたはエアライナーキットでないかもしくはどちらもである; int1 & fact9 & fact13 -> int2: この私用は勤め上げる; fact15 & fact1 -> int3: あのカメラアングルは乗り熟せる; int3 & fact7 -> int4: この私用は乗り熟せる; int2 & int4 -> hypothesis;
「この私用は勤め上げるしかつ乗り熟せる」ということは事実と異なる
fact19 -> int5: 仮にこの私用はｄｏｂでないなら「それは勤め上げるし加えて乗り熟せる」ということは誤りだ;
$facts$ = fact1: あのカメラアングルは熱伝導度であるとすると乗り熟せる fact2: もしもあの名誉毀損は兵役であるということはないならば「十戦しなくてそれに迷い難い」ということは本当でない fact3: 仮にとあるものはエアライナーキットでないとすると「それはｄｏｂでないが洒落る」ということは嘘だ fact4: もし仮に「あの名誉毀損は十戦するということはないけど迷い難い」ということは成り立たないとすると迷い難くない fact5: 「熱伝導度でない」ものはある fact6: もしその総称が熱伝導度でないならこの私用は洒落ないけどそれはエアライナーキットだ fact7: もし仮にあのカメラアングルが乗り熟せるとするとこの私用は乗り熟せる fact8: 仮にあの名誉毀損は迷い難くないとすると「その発作は諸経であるかまたは国際協定でないかまたは両方だ」ということは偽だ fact9: もしその総称は洒落るなら「この私用は勤め上げる」ということは確かだ fact10: もし仮にあのカメラアングルが念仏するならその総称は熱伝導度だということはなくておまけに捩じ伏せない fact11: 「ｄｏｂでない」ものはある fact12: 「その発作は諸経であるかもしくはそれは国際協定であるということはないか両方ともだ」ということは嘘だとしたらあのカメラアングルは念仏する fact13: 「もし仮にその総称がエアライナーキットでないならばあの私用は勤め上げる」ということは事実である fact14: もし「ｄｏｂでない」ものがあるならばあの総称は洒落るかまたはエアライナーキットでない fact15: あのカメラアングルは熱伝導度である fact16: 仮にある物はｄｏｂでないとすると「それは勤め上げるし乗り熟せる」ということは嘘である ; $hypothesis$ = 「この私用は勤め上げるしそれは乗り熟せる」ということは本当であるということはない ; $proof$ = 
fact11 & fact14 -> int1: その総称は洒落るかまたはエアライナーキットでないかもしくはどちらもである; int1 & fact9 & fact13 -> int2: この私用は勤め上げる; fact15 & fact1 -> int3: あのカメラアングルは乗り熟せる; int3 & fact7 -> int4: この私用は乗り熟せる; int2 & int4 -> hypothesis; __DISPROVED__
事実1: あのカメラアングルは熱伝導度であるとすると乗り熟せる
事実2: もしもあの名誉毀損は兵役であるということはないならば「十戦しなくてそれに迷い難い」ということは本当でない
事実3: 仮にとあるものはエアライナーキットでないとすると「それはｄｏｂでないが洒落る」ということは嘘だ
事実4: もし仮に「あの名誉毀損は十戦するということはないけど迷い難い」ということは成り立たないとすると迷い難くない
事実5: 「熱伝導度でない」ものはある
事実6: もしその総称が熱伝導度でないならこの私用は洒落ないけどそれはエアライナーキットだ
事実7: もし仮にあのカメラアングルが乗り熟せるとするとこの私用は乗り熟せる
事実8: 仮にあの名誉毀損は迷い難くないとすると「その発作は諸経であるかまたは国際協定でないかまたは両方だ」ということは偽だ
事実9: もしその総称は洒落るなら「この私用は勤め上げる」ということは確かだ
事実10: もし仮にあのカメラアングルが念仏するならその総称は熱伝導度だということはなくておまけに捩じ伏せない
事実11: 「ｄｏｂでない」ものはある
事実12: 「その発作は諸経であるかもしくはそれは国際協定であるということはないか両方ともだ」ということは嘘だとしたらあのカメラアングルは念仏する
事実13: 「もし仮にその総称がエアライナーキットでないならばあの私用は勤め上げる」ということは事実である
事実14: もし「ｄｏｂでない」ものがあるならばあの総称は洒落るかまたはエアライナーキットでない
事実15: あのカメラアングルは熱伝導度である
事実16: 仮にある物はｄｏｂでないとすると「それは勤め上げるし乗り熟せる」ということは嘘である

仮説: 「この私用は勤め上げるしそれは乗り熟せる」ということは本当であるということはない
1. 事実11と事実14から、推論1: "その総称は洒落るかまたはエアライナーキットでないかもしくはどちらもである"が導かれる
2. 推論1と事実9と事実13から、推論2: "この私用は勤め上げる"が導かれる
3. 事実15と事実1から、推論3: "あのカメラアングルは乗り熟せる"が導かれる
4. 推論3と事実7から、推論4: "この私用は乗り熟せる"が導かれる
5. 推論2と推論4から、仮説が否定される

よって、仮説が否定されました。