もし仮にあの有給教育訓練休暇がきもいとすればあの戦前派はスラッシュする
fact1: その戦前派がきもいとしたらあの悪ふざけはスラッシュする fact2: その戦前派がきもいならあの有給教育訓練休暇はスラッシュしない fact3: もし仮にその戦前派はきもくないとするとあの有給教育訓練休暇はスラッシュしない fact4: あの帰宅途中はきもい fact5: あの有給教育訓練休暇は解け易くない fact6: 「仮にあの有給教育訓練休暇がスラッシュするということはないとするとその戦前派はきもいということはない」ということは正しい fact7: もしあの有給教育訓練休暇がスラッシュするとするとその戦前派はきもい fact8: もしもその戦前派はスラッシュするとするとあの有給教育訓練休暇はきもくない fact9: あの有給教育訓練休暇はスラッシュするということはない fact10: あのレアケースはきもい fact11: もしもあの有給教育訓練休暇が飲用しないならその戦前派はきもい fact12: 「その戦前派がスラッシュしないとすればあの有給教育訓練休暇はきもい」ということは真実である fact13: この五歳以下はきもい fact14: そのキーウエストはきもい fact15: その戦前派は貰える fact16: もしその戦前派はスラッシュしないとしたらあの有給教育訓練休暇はきもくない fact17: もし仮に「その戦前派はきもい」ということは事実であるなら「あの有給教育訓練休暇はスラッシュする」ということは本当である fact18: このシュメール文字はスラッシュするということはない fact19: この変種はスラッシュしない
void -> assump2: 以下のように仮定する。その戦前派はスラッシュしない; fact16 & assump2 -> int1: あの有給教育訓練休暇はきもくない; void -> assump1: 以下のように仮定する。あの有給教育訓練休暇はきもい; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その戦前派はスラッシュする; [assump1] & int3 -> hypothesis;
$facts$ = fact1: その戦前派がきもいとしたらあの悪ふざけはスラッシュする fact2: その戦前派がきもいならあの有給教育訓練休暇はスラッシュしない fact3: もし仮にその戦前派はきもくないとするとあの有給教育訓練休暇はスラッシュしない fact4: あの帰宅途中はきもい fact5: あの有給教育訓練休暇は解け易くない fact6: 「仮にあの有給教育訓練休暇がスラッシュするということはないとするとその戦前派はきもいということはない」ということは正しい fact7: もしあの有給教育訓練休暇がスラッシュするとするとその戦前派はきもい fact8: もしもその戦前派はスラッシュするとするとあの有給教育訓練休暇はきもくない fact9: あの有給教育訓練休暇はスラッシュするということはない fact10: あのレアケースはきもい fact11: もしもあの有給教育訓練休暇が飲用しないならその戦前派はきもい fact12: 「その戦前派がスラッシュしないとすればあの有給教育訓練休暇はきもい」ということは真実である fact13: この五歳以下はきもい fact14: そのキーウエストはきもい fact15: その戦前派は貰える fact16: もしその戦前派はスラッシュしないとしたらあの有給教育訓練休暇はきもくない fact17: もし仮に「その戦前派はきもい」ということは事実であるなら「あの有給教育訓練休暇はスラッシュする」ということは本当である fact18: このシュメール文字はスラッシュするということはない fact19: この変種はスラッシュしない ; $hypothesis$ = もし仮にあの有給教育訓練休暇がきもいとすればあの戦前派はスラッシュする ; $proof$ = 
void -> assump2: 以下のように仮定する。その戦前派はスラッシュしない; fact16 & assump2 -> int1: あの有給教育訓練休暇はきもくない; void -> assump1: 以下のように仮定する。あの有給教育訓練休暇はきもい; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その戦前派はスラッシュする; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その戦前派がきもいとしたらあの悪ふざけはスラッシュする
事実2: その戦前派がきもいならあの有給教育訓練休暇はスラッシュしない
事実3: もし仮にその戦前派はきもくないとするとあの有給教育訓練休暇はスラッシュしない
事実4: あの帰宅途中はきもい
事実5: あの有給教育訓練休暇は解け易くない
事実6: 「仮にあの有給教育訓練休暇がスラッシュするということはないとするとその戦前派はきもいということはない」ということは正しい
事実7: もしあの有給教育訓練休暇がスラッシュするとするとその戦前派はきもい
事実8: もしもその戦前派はスラッシュするとするとあの有給教育訓練休暇はきもくない
事実9: あの有給教育訓練休暇はスラッシュするということはない
事実10: あのレアケースはきもい
事実11: もしもあの有給教育訓練休暇が飲用しないならその戦前派はきもい
事実12: 「その戦前派がスラッシュしないとすればあの有給教育訓練休暇はきもい」ということは真実である
事実13: この五歳以下はきもい
事実14: そのキーウエストはきもい
事実15: その戦前派は貰える
事実16: もしその戦前派はスラッシュしないとしたらあの有給教育訓練休暇はきもくない
事実17: もし仮に「その戦前派はきもい」ということは事実であるなら「あの有給教育訓練休暇はスラッシュする」ということは本当である
事実18: このシュメール文字はスラッシュするということはない
事実19: この変種はスラッシュしない

仮説: もし仮にあの有給教育訓練休暇がきもいとすればあの戦前派はスラッシュする
1. 仮定2: 以下のように仮定する。その戦前派はスラッシュしない
2. 事実16と仮定2から、推論1: "あの有給教育訓練休暇はきもくない"が導かれる
3. 仮定1: 以下のように仮定する。あの有給教育訓練休暇はきもい
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その戦前派はスラッシュする"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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