このスフィンクスは疾走する
fact1: もしなにかは破断するということはないとするとそれは発音上でないし切れ易い fact2: もしあるものは半周期であるならば受け入れられ易い fact3: もしあのＴＮＦが逆襲しないが掃除し易いとしたらこのスフィンクスは発音上でない fact4: もし仮になんらかの物が発音上だということはないが切れ易いとすれば疾走しない fact5: あのＴＮＦは逆襲しない fact6: 「仮にあのＴＮＦが受け入れられ易いとすればこのスフィンクスは破断するということはない」ということは成り立つ fact7: もしあのＴＮＦが逆襲するしおまけにそれが掃除し易いならばあのスフィンクスは発音上でない fact8: あのＴＮＦは逆襲しないけど掃除し易い fact9: あのＴＮＦは発音上でない fact10: もし仮になんらかの物は発音上でないとすれば「それは疾走する」ということは成り立つ fact11: 仮にあのＴＮＦが疾走しないとしたら掃除し易い fact12: もし仮に何らかの物が観ずればそれは半周期である
fact3 & fact8 -> int1: このスフィンクスは発音上だということはない; fact10 -> int2: もし仮にこのスフィンクスが発音上でないとすればそれは疾走する; int1 & int2 -> hypothesis;
fact3 & fact8 -> int1: ¬{B}{b}; fact10 -> int2: ¬{B}{b} -> {A}{b}; int1 & int2 -> hypothesis;
このスフィンクスは疾走しない
fact15 -> int3: もしもこのスフィンクスは発音上でないけれど切れ易いとすれば「疾走しない」ということは本当だ; fact14 -> int4: 「もし仮にこのスフィンクスは破断しないとすれば「このスフィンクスは発音上でないけど切れ易い」ということは真実である」ということは成り立つ; fact16 -> int5: 仮にあのＴＮＦは半周期であるとしたらそれは受け入れられ易い; fact13 -> int6: もしあのＴＮＦが観ずるとしたら半周期だ;
$facts$ = fact1: もしなにかは破断するということはないとするとそれは発音上でないし切れ易い fact2: もしあるものは半周期であるならば受け入れられ易い fact3: もしあのＴＮＦが逆襲しないが掃除し易いとしたらこのスフィンクスは発音上でない fact4: もし仮になんらかの物が発音上だということはないが切れ易いとすれば疾走しない fact5: あのＴＮＦは逆襲しない fact6: 「仮にあのＴＮＦが受け入れられ易いとすればこのスフィンクスは破断するということはない」ということは成り立つ fact7: もしあのＴＮＦが逆襲するしおまけにそれが掃除し易いならばあのスフィンクスは発音上でない fact8: あのＴＮＦは逆襲しないけど掃除し易い fact9: あのＴＮＦは発音上でない fact10: もし仮になんらかの物は発音上でないとすれば「それは疾走する」ということは成り立つ fact11: 仮にあのＴＮＦが疾走しないとしたら掃除し易い fact12: もし仮に何らかの物が観ずればそれは半周期である ; $hypothesis$ = このスフィンクスは疾走する ; $proof$ = 
fact3 & fact8 -> int1: このスフィンクスは発音上だということはない; fact10 -> int2: もし仮にこのスフィンクスが発音上でないとすればそれは疾走する; int1 & int2 -> hypothesis; __PROVED__
事実1: もしなにかは破断するということはないとするとそれは発音上でないし切れ易い
事実2: もしあるものは半周期であるならば受け入れられ易い
事実3: もしあのＴＮＦが逆襲しないが掃除し易いとしたらこのスフィンクスは発音上でない
事実4: もし仮になんらかの物が発音上だということはないが切れ易いとすれば疾走しない
事実5: あのＴＮＦは逆襲しない
事実6: 「仮にあのＴＮＦが受け入れられ易いとすればこのスフィンクスは破断するということはない」ということは成り立つ
事実7: もしあのＴＮＦが逆襲するしおまけにそれが掃除し易いならばあのスフィンクスは発音上でない
事実8: あのＴＮＦは逆襲しないけど掃除し易い
事実9: あのＴＮＦは発音上でない
事実10: もし仮になんらかの物は発音上でないとすれば「それは疾走する」ということは成り立つ
事実11: 仮にあのＴＮＦが疾走しないとしたら掃除し易い
事実12: もし仮に何らかの物が観ずればそれは半周期である

仮説: このスフィンクスは疾走する
1. 事実3と事実8から、推論1: "このスフィンクスは発音上だということはない"が導かれる
2. 事実10から、推論2: "もし仮にこのスフィンクスが発音上でないとすればそれは疾走する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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