その研修員は失墜しない
fact1: もし仮にこのノンポリが発生するとすると正面衝突しない fact2: このノンポリが正面衝突しないとするとその研修員は失墜しない fact3: もしも「その実りは正面衝突する」ということは成り立つとしたら「このノンポリは十一時半であるけれど発生しない」ということは誤っている fact4: 「叶うということはない」ものはある fact5: もし何かは失墜しないなら「このノンポリは十一時半でそれは正面衝突する」ということは成り立たない fact6: 何かは発生するなら「それは正面衝突するということはない」ということは正しい fact7: 仮に「とある物は発生しないけど十一時半である」ということは間違いだとすれば正面衝突しない fact8: なにかは馬番号でない fact9: 引き起こし易いものは失墜する fact10: 仮に何かは引き起こし易いということはないとすると「このノンポリは発生するし十一時半だ」ということは成り立たない fact11: もしもこのキャビアは着手出来るがプラタナスでないとしたらそれは破砕しない fact12: 「その研修員は失墜するしかつ正面衝突する」ということは誤りだ fact13: 「引き起こし易い」ものはある fact14: もしこのキャビアが生み難いならその牛腿肉は築き難くないしまたそれは嘗め取らない fact15: その御尊顔は発生しない fact16: 「このノンポリは発生するしそれに十一時半である」ということは事実でない fact17: もしも何かは破砕しないとするとそれは生み難くてそれに困る fact18: 仮にあるものは引き起こし易くないなら「このノンポリは発生しないけれど十一時半だ」ということは成り立つということはない fact19: なにかは引き起こし易くない fact20: このキャビアは着手出来るけれどプラタナスであるということはない
fact19 & fact18 -> int1: 「このノンポリは発生するということはない一方で十一時半だ」ということは嘘である; fact7 -> int2: 仮に「このノンポリは発生しないけれど十一時半だ」ということは真実でないとすればそれは正面衝突するということはない; int1 & int2 -> int3: このノンポリは正面衝突しない; int3 & fact2 -> hypothesis;
fact19 & fact18 -> int1: ¬(¬{B}{a} & {C}{a}); fact7 -> int2: ¬(¬{B}{a} & {C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; int3 & fact2 -> hypothesis;
その研修員は失墜する
fact25 -> int4: もし仮にその研修員が引き起こし易いとすればそれは失墜する; fact23 -> int5: もしも「このキャビアは破砕するということはない」ということは本当だとすればそれは生み難いしさらに困る; fact26 & fact24 -> int6: このキャビアは破砕しない; int5 & int6 -> int7: 「このキャビアは生み難いしそれに困る」ということは間違いだということはない; int7 -> int8: このキャビアは生み難い; fact22 & int8 -> int9: その牛腿肉は築き難くないしその上嘗め取らない; int9 -> int10: 「築き難くないし更に嘗め取らない」ものはある;
$facts$ = fact1: もし仮にこのノンポリが発生するとすると正面衝突しない fact2: このノンポリが正面衝突しないとするとその研修員は失墜しない fact3: もしも「その実りは正面衝突する」ということは成り立つとしたら「このノンポリは十一時半であるけれど発生しない」ということは誤っている fact4: 「叶うということはない」ものはある fact5: もし何かは失墜しないなら「このノンポリは十一時半でそれは正面衝突する」ということは成り立たない fact6: 何かは発生するなら「それは正面衝突するということはない」ということは正しい fact7: 仮に「とある物は発生しないけど十一時半である」ということは間違いだとすれば正面衝突しない fact8: なにかは馬番号でない fact9: 引き起こし易いものは失墜する fact10: 仮に何かは引き起こし易いということはないとすると「このノンポリは発生するし十一時半だ」ということは成り立たない fact11: もしもこのキャビアは着手出来るがプラタナスでないとしたらそれは破砕しない fact12: 「その研修員は失墜するしかつ正面衝突する」ということは誤りだ fact13: 「引き起こし易い」ものはある fact14: もしこのキャビアが生み難いならその牛腿肉は築き難くないしまたそれは嘗め取らない fact15: その御尊顔は発生しない fact16: 「このノンポリは発生するしそれに十一時半である」ということは事実でない fact17: もしも何かは破砕しないとするとそれは生み難くてそれに困る fact18: 仮にあるものは引き起こし易くないなら「このノンポリは発生しないけれど十一時半だ」ということは成り立つということはない fact19: なにかは引き起こし易くない fact20: このキャビアは着手出来るけれどプラタナスであるということはない ; $hypothesis$ = その研修員は失墜しない ; $proof$ = 
fact19 & fact18 -> int1: 「このノンポリは発生するということはない一方で十一時半だ」ということは嘘である; fact7 -> int2: 仮に「このノンポリは発生しないけれど十一時半だ」ということは真実でないとすればそれは正面衝突するということはない; int1 & int2 -> int3: このノンポリは正面衝突しない; int3 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にこのノンポリが発生するとすると正面衝突しない
事実2: このノンポリが正面衝突しないとするとその研修員は失墜しない
事実3: もしも「その実りは正面衝突する」ということは成り立つとしたら「このノンポリは十一時半であるけれど発生しない」ということは誤っている
事実4: 「叶うということはない」ものはある
事実5: もし何かは失墜しないなら「このノンポリは十一時半でそれは正面衝突する」ということは成り立たない
事実6: 何かは発生するなら「それは正面衝突するということはない」ということは正しい
事実7: 仮に「とある物は発生しないけど十一時半である」ということは間違いだとすれば正面衝突しない
事実8: なにかは馬番号でない
事実9: 引き起こし易いものは失墜する
事実10: 仮に何かは引き起こし易いということはないとすると「このノンポリは発生するし十一時半だ」ということは成り立たない
事実11: もしもこのキャビアは着手出来るがプラタナスでないとしたらそれは破砕しない
事実12: 「その研修員は失墜するしかつ正面衝突する」ということは誤りだ
事実13: 「引き起こし易い」ものはある
事実14: もしこのキャビアが生み難いならその牛腿肉は築き難くないしまたそれは嘗め取らない
事実15: その御尊顔は発生しない
事実16: 「このノンポリは発生するしそれに十一時半である」ということは事実でない
事実17: もしも何かは破砕しないとするとそれは生み難くてそれに困る
事実18: 仮にあるものは引き起こし易くないなら「このノンポリは発生しないけれど十一時半だ」ということは成り立つということはない
事実19: なにかは引き起こし易くない
事実20: このキャビアは着手出来るけれどプラタナスであるということはない

仮説: その研修員は失墜しない
1. 事実19と事実18から、推論1: "「このノンポリは発生するということはない一方で十一時半だ」ということは嘘である"が導かれる
2. 事実7から、推論2: "仮に「このノンポリは発生しないけれど十一時半だ」ということは真実でないとすればそれは正面衝突するということはない"が導かれる
3. 推論1と推論2から、推論3: "このノンポリは正面衝突しない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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