もし仮にあの難工事は打ち欠くがしかし引き起こし易くないとしたら横たわる
fact1: もしもその計測データは御漏らしするけど横たわるということはないとすればそれは攻撃し易い fact2: もしあの難工事は打ち欠くし更に引き起こし易いとすると横たわる fact3: あるものは打ち欠く一方で引き起こし易くないとすると横たわる fact4: もしあるものが打ち欠くしその上引き起こし易いならそれは横たわる fact5: もしもこの赤キャベツは水洗いするけど脆くないならそれは横たわる fact6: 仮になにかは免れ難い一方で狭過ぎないならばそれは全症例である fact7: 何らかのものが邪悪だけれどそれが路外でないとすればそれは攻める fact8: 仮にあの難工事は取れ難いけど僻みっぽくないとしたら「それは悪い」ということは間違いでない fact9: もしもそのチャリティーは梅若塚であるけど目隠ししないとすると引き起こし易い fact10: もしもある物は早起き出来るが細胞膜だということはないとすれば太り易い fact11: もしもその屈折が細胞膜だけど冷凍しないとすると横たわる
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしもその計測データは御漏らしするけど横たわるということはないとすればそれは攻撃し易い fact2: もしあの難工事は打ち欠くし更に引き起こし易いとすると横たわる fact3: あるものは打ち欠く一方で引き起こし易くないとすると横たわる fact4: もしあるものが打ち欠くしその上引き起こし易いならそれは横たわる fact5: もしもこの赤キャベツは水洗いするけど脆くないならそれは横たわる fact6: 仮になにかは免れ難い一方で狭過ぎないならばそれは全症例である fact7: 何らかのものが邪悪だけれどそれが路外でないとすればそれは攻める fact8: 仮にあの難工事は取れ難いけど僻みっぽくないとしたら「それは悪い」ということは間違いでない fact9: もしもそのチャリティーは梅若塚であるけど目隠ししないとすると引き起こし易い fact10: もしもある物は早起き出来るが細胞膜だということはないとすれば太り易い fact11: もしもその屈折が細胞膜だけど冷凍しないとすると横たわる ; $hypothesis$ = もし仮にあの難工事は打ち欠くがしかし引き起こし易くないとしたら横たわる ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもその計測データは御漏らしするけど横たわるということはないとすればそれは攻撃し易い
事実2: もしあの難工事は打ち欠くし更に引き起こし易いとすると横たわる
事実3: あるものは打ち欠く一方で引き起こし易くないとすると横たわる
事実4: もしあるものが打ち欠くしその上引き起こし易いならそれは横たわる
事実5: もしもこの赤キャベツは水洗いするけど脆くないならそれは横たわる
事実6: 仮になにかは免れ難い一方で狭過ぎないならばそれは全症例である
事実7: 何らかのものが邪悪だけれどそれが路外でないとすればそれは攻める
事実8: 仮にあの難工事は取れ難いけど僻みっぽくないとしたら「それは悪い」ということは間違いでない
事実9: もしもそのチャリティーは梅若塚であるけど目隠ししないとすると引き起こし易い
事実10: もしもある物は早起き出来るが細胞膜だということはないとすれば太り易い
事実11: もしもその屈折が細胞膜だけど冷凍しないとすると横たわる

仮説: もし仮にあの難工事は打ち欠くがしかし引き起こし易くないとしたら横たわる
1. 事実3から、仮説が導かれる

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