「なにがしかのモンスターは返りらしくないがしかし使い易い」ということは誤っている
fact1: 「そのみちゃみなLv.1は安っぽくてさらに使い易い」ということは成り立たない fact2: あのぴにゃぴちょLv.4が使い易くないとしたらそのみちゃみなLv.1は返りらしくないが使い易い fact3: 「そのみねみにLv.78は大人っぽくない一方で安っぽい」ということは偽である fact4: もしも「そのみねみにLv.78は大人っぽくないけどそれは安っぽい」ということは間違っているならあのぴにゃぴちょLv.4は使い易いということはない fact5: このぴよぴちゅLv.75は安っぽいということはない
fact4 & fact3 -> int1: あのぴにゃぴちょLv.4は使い易くない; int1 & fact2 -> int2: そのみちゃみなLv.1は返りらしくないけれどそれは使い易い; int2 -> hypothesis;
fact4 & fact3 -> int1: ¬{B}{b}; int1 & fact2 -> int2: (¬{A}{c} & {B}{c}); int2 -> hypothesis;
$facts$ = fact1: 「そのみちゃみなLv.1は安っぽくてさらに使い易い」ということは成り立たない fact2: あのぴにゃぴちょLv.4が使い易くないとしたらそのみちゃみなLv.1は返りらしくないが使い易い fact3: 「そのみねみにLv.78は大人っぽくない一方で安っぽい」ということは偽である fact4: もしも「そのみねみにLv.78は大人っぽくないけどそれは安っぽい」ということは間違っているならあのぴにゃぴちょLv.4は使い易いということはない fact5: このぴよぴちゅLv.75は安っぽいということはない ; $hypothesis$ = 「なにがしかのモンスターは返りらしくないがしかし使い易い」ということは誤っている ; $proof$ = 
fact4 & fact3 -> int1: あのぴにゃぴちょLv.4は使い易くない; int1 & fact2 -> int2: そのみちゃみなLv.1は返りらしくないけれどそれは使い易い; int2 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: ¬{B}{b}; int1 & fact2 -> int2: (¬{A}{c} & {B}{c}); int2 -> hypothesis; __DISPROVED__