「もしそのペントハウスがＢアットであるとすればあの試乗車は程無い」ということは間違っている
fact1: もしもそのペントハウスがそよふくならあの試乗車は程無い fact2: 何らかのものは学校運営だとすれば「それはＤＩＶＸムービーでなくてかつ相殺禁止でない」ということは間違いである fact3: 仮にそのペントハウスが願い上げ奉らないとするとその炭塵は程無くてＢアットだ fact4: もしもあの鑑が旧知であるならばそれは説明出来るかまたは甚だしということはないか両方ともである fact5: 仮にその手籠が入学当初であるとするとそよふくか捕らわれ過ぎない fact6: 「そのペントハウスは程無いかＢアットであるということはない」ということは事実である fact7: もし仮にあの試乗車がＢアットならばそのペントハウスは程無い fact8: あの試乗車はＢアットである fact9: もし「何らかの物はＤＩＶＸムービーでなくてまた相殺禁止でない」ということは本当でないならばそれは願い上げ奉るということはない fact10: もしもあの試乗車が解き解すとするとそよふくかあるいは程無いということはないかまたはどちらもである fact11: 仮にそのペントハウスが解き解さないならあの試乗車は程無い fact12: 「そのペントハウスは程無い」ということは本当である fact13: もしそのペントハウスが程無いならあの試乗車はＢアットである fact14: もし「そのペントハウスはＢアットでない」ということは成り立たないとすれば「そよふくかあるいはそれは解き解しないかどちらもだ」ということは事実である
void -> assump1: 以下のように仮定する。そのペントハウスはＢアットである; fact14 & assump1 -> int1: そのペントハウスはそよふくか解き解しないかまたは両方ともである; int1 & fact1 & fact11 -> int2: 「あの試乗車は程無い」ということは成り立つ; [assump1] & int2 -> hypothesis;
その炭塵は程無い
fact17 -> int3: もし仮に「そのペントハウスはＤＩＶＸムービーでないし相殺禁止でない」ということは偽だとすれば願い上げ奉らない; fact15 -> int4: 仮にそのペントハウスは学校運営だとすると「ＤＩＶＸムービーでないしかつ相殺禁止だということはない」ということは事実と異なる;
$facts$ = fact1: もしもそのペントハウスがそよふくならあの試乗車は程無い fact2: 何らかのものは学校運営だとすれば「それはＤＩＶＸムービーでなくてかつ相殺禁止でない」ということは間違いである fact3: 仮にそのペントハウスが願い上げ奉らないとするとその炭塵は程無くてＢアットだ fact4: もしもあの鑑が旧知であるならばそれは説明出来るかまたは甚だしということはないか両方ともである fact5: 仮にその手籠が入学当初であるとするとそよふくか捕らわれ過ぎない fact6: 「そのペントハウスは程無いかＢアットであるということはない」ということは事実である fact7: もし仮にあの試乗車がＢアットならばそのペントハウスは程無い fact8: あの試乗車はＢアットである fact9: もし「何らかの物はＤＩＶＸムービーでなくてまた相殺禁止でない」ということは本当でないならばそれは願い上げ奉るということはない fact10: もしもあの試乗車が解き解すとするとそよふくかあるいは程無いということはないかまたはどちらもである fact11: 仮にそのペントハウスが解き解さないならあの試乗車は程無い fact12: 「そのペントハウスは程無い」ということは本当である fact13: もしそのペントハウスが程無いならあの試乗車はＢアットである fact14: もし「そのペントハウスはＢアットでない」ということは成り立たないとすれば「そよふくかあるいはそれは解き解しないかどちらもだ」ということは事実である ; $hypothesis$ = 「もしそのペントハウスがＢアットであるとすればあの試乗車は程無い」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。そのペントハウスはＢアットである; fact14 & assump1 -> int1: そのペントハウスはそよふくか解き解しないかまたは両方ともである; int1 & fact1 & fact11 -> int2: 「あの試乗車は程無い」ということは成り立つ; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしもそのペントハウスがそよふくならあの試乗車は程無い
事実2: 何らかのものは学校運営だとすれば「それはＤＩＶＸムービーでなくてかつ相殺禁止でない」ということは間違いである
事実3: 仮にそのペントハウスが願い上げ奉らないとするとその炭塵は程無くてＢアットだ
事実4: もしもあの鑑が旧知であるならばそれは説明出来るかまたは甚だしということはないか両方ともである
事実5: 仮にその手籠が入学当初であるとするとそよふくか捕らわれ過ぎない
事実6: 「そのペントハウスは程無いかＢアットであるということはない」ということは事実である
事実7: もし仮にあの試乗車がＢアットならばそのペントハウスは程無い
事実8: あの試乗車はＢアットである
事実9: もし「何らかの物はＤＩＶＸムービーでなくてまた相殺禁止でない」ということは本当でないならばそれは願い上げ奉るということはない
事実10: もしもあの試乗車が解き解すとするとそよふくかあるいは程無いということはないかまたはどちらもである
事実11: 仮にそのペントハウスが解き解さないならあの試乗車は程無い
事実12: 「そのペントハウスは程無い」ということは本当である
事実13: もしそのペントハウスが程無いならあの試乗車はＢアットである
事実14: もし「そのペントハウスはＢアットでない」ということは成り立たないとすれば「そよふくかあるいはそれは解き解しないかどちらもだ」ということは事実である

仮説: 「もしそのペントハウスがＢアットであるとすればあの試乗車は程無い」ということは間違っている
1. 仮定1: 以下のように仮定する。そのペントハウスはＢアットである
2. 事実14と仮定1から、推論1: "そのペントハウスはそよふくか解き解しないかまたは両方ともである"が導かれる
3. 推論1と事実1と事実11から、推論2: "「あの試乗車は程無い」ということは成り立つ"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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