この入力データは変調方式でないけれど身罷る
fact1: すべてのものは身罷る fact2: もしも「何らかのものは隷属民でなくてまた同軸線路内でない」ということは成り立たないとしたらそれは変調方式であるということはない fact3: もしも「何らかの物は被支配階級だということはないし程良くない」ということは成り立たないなら「それは身罷らない」ということは正しい fact4: もしもこの入力データは育ち難くないとすると「それは隷属民でなくて更に同軸線路内でない」ということは事実と異なる fact5: この入力データは育ち難くない
fact2 -> int1: もしも「この入力データは隷属民でないししかも同軸線路内でない」ということは成り立たないとすれば「変調方式でない」ということは成り立つ; fact4 & fact5 -> int2: 「この入力データは隷属民でないしそれに同軸線路内でない」ということは偽である; int1 & int2 -> int3: この入力データは変調方式でない; fact1 -> int4: この入力データは身罷る; int3 & int4 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact4 & fact5 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; fact1 -> int4: {A}{aa}; int3 & int4 -> hypothesis;
もしも「「あの水分は被支配階級でないし更にそれは程良くない」ということは本当である」ということは成り立たないならそれは身罷らない
fact6 -> hypothesis;
$facts$ = fact1: すべてのものは身罷る fact2: もしも「何らかのものは隷属民でなくてまた同軸線路内でない」ということは成り立たないとしたらそれは変調方式であるということはない fact3: もしも「何らかの物は被支配階級だということはないし程良くない」ということは成り立たないなら「それは身罷らない」ということは正しい fact4: もしもこの入力データは育ち難くないとすると「それは隷属民でなくて更に同軸線路内でない」ということは事実と異なる fact5: この入力データは育ち難くない ; $hypothesis$ = この入力データは変調方式でないけれど身罷る ; $proof$ = 
fact2 -> int1: もしも「この入力データは隷属民でないししかも同軸線路内でない」ということは成り立たないとすれば「変調方式でない」ということは成り立つ; fact4 & fact5 -> int2: 「この入力データは隷属民でないしそれに同軸線路内でない」ということは偽である; int1 & int2 -> int3: この入力データは変調方式でない; fact1 -> int4: この入力データは身罷る; int3 & int4 -> hypothesis; __PROVED__
事実1: すべてのものは身罷る
事実2: もしも「何らかのものは隷属民でなくてまた同軸線路内でない」ということは成り立たないとしたらそれは変調方式であるということはない
事実3: もしも「何らかの物は被支配階級だということはないし程良くない」ということは成り立たないなら「それは身罷らない」ということは正しい
事実4: もしもこの入力データは育ち難くないとすると「それは隷属民でなくて更に同軸線路内でない」ということは事実と異なる
事実5: この入力データは育ち難くない

仮説: この入力データは変調方式でないけれど身罷る
1. 事実2から、推論1: "もしも「この入力データは隷属民でないししかも同軸線路内でない」ということは成り立たないとすれば「変調方式でない」ということは成り立つ"が導かれる
2. 事実4と事実5から、推論2: "「この入力データは隷属民でないしそれに同軸線路内でない」ということは偽である"が導かれる
3. 推論1と推論2から、推論3: "この入力データは変調方式でない"が導かれる
4. 事実1から、推論4: "この入力データは身罷る"が導かれる
5. 推論3と推論4から、仮説が導かれる

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