「このサライは出廷しないけど自嘲めく」ということは確かでない
fact1: 全ての物は親しみ易いかもしくは叙述しないか両方だ fact2: 全てのものは親しみ易くないかそれは叙述する fact3: 何もかもは親しみ易いということはないかまたは叙述しないかあるいは両方だ fact4: 「そのバスは卑しということはないし加えて親しみ易くない」ということは事実と異なるとすればこの吸い取り紙は親しみ易くない fact5: もしもあのパラボラ反射鏡が自嘲めけばこのサライは出廷しないが自嘲めく fact6: 親しみ易くないものは傍受するということはないが紳士らしい fact7: もしその実行義務は叙述すれば「そのバスは卑しないし加えて親しみ易くない」ということは本当であるということはない fact8: なんらかのものが親しみ易いということはないかまたはそれは叙述しないかまたは両方であるとすれば「自嘲めく」ということは成り立つ fact9: あのパラボラ反射鏡は親しみ易くないかまたは叙述するかもしくは両方だ fact10: もし仮にあのパラボラ反射鏡が出廷すればこのサライは自嘲めかないけど出廷する
fact3 -> int1: あのパラボラ反射鏡は親しみ易くないかもしくは叙述しないか両方ともだ; fact8 -> int2: もし仮にあのパラボラ反射鏡が親しみ易くないかあるいはそれは叙述しないかあるいはどちらもであるならば自嘲めく; int1 & int2 -> int3: あのパラボラ反射鏡は自嘲めく; int3 & fact5 -> hypothesis;
fact3 -> int1: (¬{A}{aa} v ¬{B}{aa}); fact8 -> int2: (¬{A}{aa} v ¬{B}{aa}) -> {C}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact5 -> hypothesis;
「あの完全変態は傍受しないがしかしそれは紳士らしい」ということは本当だ
fact11 -> int4: あの完全変態が親しみ易くないならばそれは傍受するということはなくて紳士らしい;
$facts$ = fact1: 全ての物は親しみ易いかもしくは叙述しないか両方だ fact2: 全てのものは親しみ易くないかそれは叙述する fact3: 何もかもは親しみ易いということはないかまたは叙述しないかあるいは両方だ fact4: 「そのバスは卑しということはないし加えて親しみ易くない」ということは事実と異なるとすればこの吸い取り紙は親しみ易くない fact5: もしもあのパラボラ反射鏡が自嘲めけばこのサライは出廷しないが自嘲めく fact6: 親しみ易くないものは傍受するということはないが紳士らしい fact7: もしその実行義務は叙述すれば「そのバスは卑しないし加えて親しみ易くない」ということは本当であるということはない fact8: なんらかのものが親しみ易いということはないかまたはそれは叙述しないかまたは両方であるとすれば「自嘲めく」ということは成り立つ fact9: あのパラボラ反射鏡は親しみ易くないかまたは叙述するかもしくは両方だ fact10: もし仮にあのパラボラ反射鏡が出廷すればこのサライは自嘲めかないけど出廷する ; $hypothesis$ = 「このサライは出廷しないけど自嘲めく」ということは確かでない ; $proof$ = 
fact3 -> int1: あのパラボラ反射鏡は親しみ易くないかもしくは叙述しないか両方ともだ; fact8 -> int2: もし仮にあのパラボラ反射鏡が親しみ易くないかあるいはそれは叙述しないかあるいはどちらもであるならば自嘲めく; int1 & int2 -> int3: あのパラボラ反射鏡は自嘲めく; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: 全ての物は親しみ易いかもしくは叙述しないか両方だ
事実2: 全てのものは親しみ易くないかそれは叙述する
事実3: 何もかもは親しみ易いということはないかまたは叙述しないかあるいは両方だ
事実4: 「そのバスは卑しということはないし加えて親しみ易くない」ということは事実と異なるとすればこの吸い取り紙は親しみ易くない
事実5: もしもあのパラボラ反射鏡が自嘲めけばこのサライは出廷しないが自嘲めく
事実6: 親しみ易くないものは傍受するということはないが紳士らしい
事実7: もしその実行義務は叙述すれば「そのバスは卑しないし加えて親しみ易くない」ということは本当であるということはない
事実8: なんらかのものが親しみ易いということはないかまたはそれは叙述しないかまたは両方であるとすれば「自嘲めく」ということは成り立つ
事実9: あのパラボラ反射鏡は親しみ易くないかまたは叙述するかもしくは両方だ
事実10: もし仮にあのパラボラ反射鏡が出廷すればこのサライは自嘲めかないけど出廷する

仮説: 「このサライは出廷しないけど自嘲めく」ということは確かでない
1. 事実3から、推論1: "あのパラボラ反射鏡は親しみ易くないかもしくは叙述しないか両方ともだ"が導かれる
2. 事実8から、推論2: "もし仮にあのパラボラ反射鏡が親しみ易くないかあるいはそれは叙述しないかあるいはどちらもであるならば自嘲めく"が導かれる
3. 推論1と推論2から、推論3: "あのパラボラ反射鏡は自嘲めく"が導かれる
4. 推論3と事実5から、仮説が否定される

よって、仮説が否定されました。