このぽにゃぽわLv.68は人懐こくない
fact1: そのまちゃまねLv.35が運び易くないとしたらこのぽにゃぽわLv.68は油っぽい fact2: もしこのぽにゃぽわLv.68が油っぽいしおまけに本当らしいとしたらこのぽにゃぽわLv.68は人懐こくない fact3: このぽにゃぽわLv.68は本当らしい fact4: もしこのぴちゃぴなLv.15が油っぽくないならばこのぽにゃぽわLv.68は人懐こいし頑是無い fact5: もしも何らかのモンスターは頑是無いとすれば「それは青黒くないけれど運び易い」ということは誤りである fact6: 「そのまちゃまねLv.35は青黒くないけど運び易い」ということは嘘だとすればこのぽにゃぽわLv.68は油っぽい fact7: もしも「そのみいみよLv.43は覚え込むしそれに活動し易い」ということは誤っていればそのみいみよLv.43は活動し易いということはない fact8: そのまちゃまねLv.35は頑是無い
fact5 -> int1: もしもそのまちゃまねLv.35は頑是無いなら「青黒いということはないがしかし運び易い」ということは成り立たない; int1 & fact8 -> int2: 「そのまちゃまねLv.35は青黒くないけれど運び易い」ということは真実でない; int2 & fact6 -> int3: このぽにゃぽわLv.68は油っぽい; int3 & fact3 -> int4: このぽにゃぽわLv.68は油っぽいしまた本当らしい; int4 & fact2 -> hypothesis;
fact5 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact8 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact6 -> int3: {B}{a}; int3 & fact3 -> int4: ({B}{a} & {C}{a}); int4 & fact2 -> hypothesis;
「このぽにゃぽわLv.68は人懐こい」ということは正しい
$facts$ = fact1: そのまちゃまねLv.35が運び易くないとしたらこのぽにゃぽわLv.68は油っぽい fact2: もしこのぽにゃぽわLv.68が油っぽいしおまけに本当らしいとしたらこのぽにゃぽわLv.68は人懐こくない fact3: このぽにゃぽわLv.68は本当らしい fact4: もしこのぴちゃぴなLv.15が油っぽくないならばこのぽにゃぽわLv.68は人懐こいし頑是無い fact5: もしも何らかのモンスターは頑是無いとすれば「それは青黒くないけれど運び易い」ということは誤りである fact6: 「そのまちゃまねLv.35は青黒くないけど運び易い」ということは嘘だとすればこのぽにゃぽわLv.68は油っぽい fact7: もしも「そのみいみよLv.43は覚え込むしそれに活動し易い」ということは誤っていればそのみいみよLv.43は活動し易いということはない fact8: そのまちゃまねLv.35は頑是無い ; $hypothesis$ = このぽにゃぽわLv.68は人懐こくない ; $proof$ = 
fact5 -> int1: もしもそのまちゃまねLv.35は頑是無いなら「青黒いということはないがしかし運び易い」ということは成り立たない; int1 & fact8 -> int2: 「そのまちゃまねLv.35は青黒くないけれど運び易い」ということは真実でない; int2 & fact6 -> int3: このぽにゃぽわLv.68は油っぽい; int3 & fact3 -> int4: このぽにゃぽわLv.68は油っぽいしまた本当らしい; int4 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact8 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact6 -> int3: {B}{a}; int3 & fact3 -> int4: ({B}{a} & {C}{a}); int4 & fact2 -> hypothesis; __PROVED__