その疎外感は中取りする
fact1: もしこの炒り卵が極楽屋でないならばその疎外感は中取りする fact2: この炒り卵は中取りするかあるいはそれは薄青くない fact3: この炒り卵が薄青くないとするとその疎外感は中取りする fact4: 仮にその身元不明が極楽屋でないならばあの炒り卵は紅潮するということはない fact5: 仮に「この得意気は掛け替えない一方で薄青い」ということは嘘であるとするとその身元不明は作戦しない fact6: この炒り卵は極楽屋でないかしかつめらしくないかあるいはどちらもである fact7: もしも「この得意気は作戦しない」ということは正しいならこの炒り卵は薄青くないかまたはそれは極楽屋であるということはない fact8: その疎外感は薄青くないかまたはそれは中取りしないかもしくは両方ともである fact9: その身元不明は紅潮しないかしかつめらしくない fact10: この得意気は中取りする fact11: もし仮にこの炒り卵が紅潮しないとすればあの身元不明は極楽屋である fact12: その疎外感は作戦しない fact13: もしもその疎外感はしかつめらしくないなら「その身元不明は中取りする」ということは成り立つ fact14: その疎外感は極楽屋だ fact15: この得意気が紅潮しないならばその身元不明は作戦する fact16: もしもその身元不明が紅潮しないかあるいはしかつめらしくないかあるいは両方であるとすればこの得意気は作戦しない
fact16 & fact9 -> int1: この得意気は作戦しない; int1 & fact7 -> int2: この炒り卵は薄青くないかまたは極楽屋でないかもしくは両方ともである; int2 & fact3 & fact1 -> hypothesis;
その疎外感は中取りするということはない
$facts$ = fact1: もしこの炒り卵が極楽屋でないならばその疎外感は中取りする fact2: この炒り卵は中取りするかあるいはそれは薄青くない fact3: この炒り卵が薄青くないとするとその疎外感は中取りする fact4: 仮にその身元不明が極楽屋でないならばあの炒り卵は紅潮するということはない fact5: 仮に「この得意気は掛け替えない一方で薄青い」ということは嘘であるとするとその身元不明は作戦しない fact6: この炒り卵は極楽屋でないかしかつめらしくないかあるいはどちらもである fact7: もしも「この得意気は作戦しない」ということは正しいならこの炒り卵は薄青くないかまたはそれは極楽屋であるということはない fact8: その疎外感は薄青くないかまたはそれは中取りしないかもしくは両方ともである fact9: その身元不明は紅潮しないかしかつめらしくない fact10: この得意気は中取りする fact11: もし仮にこの炒り卵が紅潮しないとすればあの身元不明は極楽屋である fact12: その疎外感は作戦しない fact13: もしもその疎外感はしかつめらしくないなら「その身元不明は中取りする」ということは成り立つ fact14: その疎外感は極楽屋だ fact15: この得意気が紅潮しないならばその身元不明は作戦する fact16: もしもその身元不明が紅潮しないかあるいはしかつめらしくないかあるいは両方であるとすればこの得意気は作戦しない ; $hypothesis$ = その疎外感は中取りする ; $proof$ = 
fact16 & fact9 -> int1: この得意気は作戦しない; int1 & fact7 -> int2: この炒り卵は薄青くないかまたは極楽屋でないかもしくは両方ともである; int2 & fact3 & fact1 -> hypothesis; __PROVED__
事実1: もしこの炒り卵が極楽屋でないならばその疎外感は中取りする
事実2: この炒り卵は中取りするかあるいはそれは薄青くない
事実3: この炒り卵が薄青くないとするとその疎外感は中取りする
事実4: 仮にその身元不明が極楽屋でないならばあの炒り卵は紅潮するということはない
事実5: 仮に「この得意気は掛け替えない一方で薄青い」ということは嘘であるとするとその身元不明は作戦しない
事実6: この炒り卵は極楽屋でないかしかつめらしくないかあるいはどちらもである
事実7: もしも「この得意気は作戦しない」ということは正しいならこの炒り卵は薄青くないかまたはそれは極楽屋であるということはない
事実8: その疎外感は薄青くないかまたはそれは中取りしないかもしくは両方ともである
事実9: その身元不明は紅潮しないかしかつめらしくない
事実10: この得意気は中取りする
事実11: もし仮にこの炒り卵が紅潮しないとすればあの身元不明は極楽屋である
事実12: その疎外感は作戦しない
事実13: もしもその疎外感はしかつめらしくないなら「その身元不明は中取りする」ということは成り立つ
事実14: その疎外感は極楽屋だ
事実15: この得意気が紅潮しないならばその身元不明は作戦する
事実16: もしもその身元不明が紅潮しないかあるいはしかつめらしくないかあるいは両方であるとすればこの得意気は作戦しない

仮説: その疎外感は中取りする
1. 事実16と事実9から、推論1: "この得意気は作戦しない"が導かれる
2. 推論1と事実7から、推論2: "この炒り卵は薄青くないかまたは極楽屋でないかもしくは両方ともである"が導かれる
3. 推論2と事実3と事実1から、仮説が導かれる

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