あのまえまくLv.10は貴方らしいか御手入れする
fact1: もしこのまにゃまやLv.71が神々しいとすればあのまえまくLv.10は貴方らしい fact2: もし仮にあのぴゆぴにゅLv.43は小汚くないなら「このまにゃまやLv.71は長ったらしいかあるいは小汚くない」ということは偽である fact3: 仮に「このまにゃまやLv.71は長ったらしいかもしくはそれは小汚いということはない」ということは事実と異なるとすればそれは神々しい fact4: 貴方らしくないモンスターは長ったらしいし小汚い fact5: 長ったらしいモンスターは神々しい fact6: もしもこのみちょみえLv.66が適合出来るけどか弱くないとするとあのぴゆぴにゅLv.43は小汚くない fact7: もしこのまにゃまやLv.71がか弱いししかも適合出来ればこのみちょみえLv.66は長ったらしくない fact8: このみちょみえLv.66は適合出来るけどか弱くない fact9: もしも「あるモンスターは御手入れしなくて御早くない」ということは間違っているとすると貴方らしくない fact10: このみちょみえLv.66は適合出来るけどそれは貴方らしくない
fact6 & fact8 -> int1: あのぴゆぴにゅLv.43は小汚いということはない; int1 & fact2 -> int2: 「このまにゃまやLv.71は長ったらしいかもしくはそれは小汚いということはない」ということは誤りだ; int2 & fact3 -> int3: このまにゃまやLv.71は神々しい; int3 & fact1 -> int4: あのまえまくLv.10は貴方らしい; int4 -> hypothesis;
fact6 & fact8 -> int1: ¬{B}{b}; int1 & fact2 -> int2: ¬({A}{c} v ¬{B}{c}); int2 & fact3 -> int3: {C}{c}; int3 & fact1 -> int4: {D}{d}; int4 -> hypothesis;
あのぴにゃぴのLv.27は神々しい
fact12 -> int5: 「もし「このみちょみえLv.66は御手入れするということはなくて加えて御早くない」ということは成り立たないとすればこのみちょみえLv.66は貴方らしくない」ということは嘘だということはない; fact13 -> int6: もしもあのぴにゃぴのLv.27が貴方らしくないとしたらあのぴにゃぴのLv.27は長ったらしいしその上小汚い; fact11 -> int7: もしもあのぴにゃぴのLv.27が長ったらしいとすればあのぴにゃぴのLv.27は神々しい;
$facts$ = fact1: もしこのまにゃまやLv.71が神々しいとすればあのまえまくLv.10は貴方らしい fact2: もし仮にあのぴゆぴにゅLv.43は小汚くないなら「このまにゃまやLv.71は長ったらしいかあるいは小汚くない」ということは偽である fact3: 仮に「このまにゃまやLv.71は長ったらしいかもしくはそれは小汚いということはない」ということは事実と異なるとすればそれは神々しい fact4: 貴方らしくないモンスターは長ったらしいし小汚い fact5: 長ったらしいモンスターは神々しい fact6: もしもこのみちょみえLv.66が適合出来るけどか弱くないとするとあのぴゆぴにゅLv.43は小汚くない fact7: もしこのまにゃまやLv.71がか弱いししかも適合出来ればこのみちょみえLv.66は長ったらしくない fact8: このみちょみえLv.66は適合出来るけどか弱くない fact9: もしも「あるモンスターは御手入れしなくて御早くない」ということは間違っているとすると貴方らしくない fact10: このみちょみえLv.66は適合出来るけどそれは貴方らしくない ; $hypothesis$ = あのまえまくLv.10は貴方らしいか御手入れする ; $proof$ = 
fact6 & fact8 -> int1: あのぴゆぴにゅLv.43は小汚いということはない; int1 & fact2 -> int2: 「このまにゃまやLv.71は長ったらしいかもしくはそれは小汚いということはない」ということは誤りだ; int2 & fact3 -> int3: このまにゃまやLv.71は神々しい; int3 & fact1 -> int4: あのまえまくLv.10は貴方らしい; int4 -> hypothesis; __PROVED__
fact6 & fact8 -> int1: ¬{B}{b}; int1 & fact2 -> int2: ¬({A}{c} v ¬{B}{c}); int2 & fact3 -> int3: {C}{c}; int3 & fact1 -> int4: {D}{d}; int4 -> hypothesis; __PROVED__