この主侍医システムは理解・解釈しない
fact1: 仮にこの主侍医システムは仁王門でないとしたら理解・解釈しない fact2: 仮に「何かは聳やかすし越せる」ということは誤っていればそれは仁王門でない fact3: もしもこの主侍医システムが思い出深くないならばそれは仁王門でない fact4: 「この主侍医システムは聳やかすし越せる」ということは成り立たない
fact2 -> int1: もしも「この主侍医システムが聳やかすしその上越せる」ということは成り立つということはないとすれば仁王門だということはない; int1 & fact4 -> int2: この主侍医システムは仁王門でない; int2 & fact1 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> int2: ¬{B}{aa}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこの主侍医システムは仁王門でないとしたら理解・解釈しない fact2: 仮に「何かは聳やかすし越せる」ということは誤っていればそれは仁王門でない fact3: もしもこの主侍医システムが思い出深くないならばそれは仁王門でない fact4: 「この主侍医システムは聳やかすし越せる」ということは成り立たない ; $hypothesis$ = この主侍医システムは理解・解釈しない ; $proof$ = 
fact2 -> int1: もしも「この主侍医システムが聳やかすしその上越せる」ということは成り立つということはないとすれば仁王門だということはない; int1 & fact4 -> int2: この主侍医システムは仁王門でない; int2 & fact1 -> hypothesis; __PROVED__
事実1: 仮にこの主侍医システムは仁王門でないとしたら理解・解釈しない
事実2: 仮に「何かは聳やかすし越せる」ということは誤っていればそれは仁王門でない
事実3: もしもこの主侍医システムが思い出深くないならばそれは仁王門でない
事実4: 「この主侍医システムは聳やかすし越せる」ということは成り立たない

仮説: この主侍医システムは理解・解釈しない
1. 事実2から、推論1: "もしも「この主侍医システムが聳やかすしその上越せる」ということは成り立つということはないとすれば仁王門だということはない"が導かれる
2. 推論1と事実4から、推論2: "この主侍医システムは仁王門でない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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