「このまやまちょLv.80は色好いが移ろい易くない」ということは事実と異なる
fact1: このまやまちょLv.80が恨みがましいとすると怪しないが大人し fact2: このまやまちょLv.80は手っ取り早くないがしかし等し fact3: もし仮にこのまやまちょLv.80が怪しないがしかし大人しとしたら移ろい易くない fact4: このまやまちょLv.80が移ろい易くないなら色好くてまた移ろい易くない fact5: このまやまちょLv.80は恨みがましい fact6: あのぴちゃぴちゅLv.20は怪しない
fact1 & fact5 -> int1: このまやまちょLv.80は怪しないけれど大人し; int1 & fact3 -> int2: このまやまちょLv.80は移ろい易くない; int2 & fact4 -> hypothesis;
fact1 & fact5 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact3 -> int2: ¬{B}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このまやまちょLv.80が恨みがましいとすると怪しないが大人し fact2: このまやまちょLv.80は手っ取り早くないがしかし等し fact3: もし仮にこのまやまちょLv.80が怪しないがしかし大人しとしたら移ろい易くない fact4: このまやまちょLv.80が移ろい易くないなら色好くてまた移ろい易くない fact5: このまやまちょLv.80は恨みがましい fact6: あのぴちゃぴちゅLv.20は怪しない ; $hypothesis$ = 「このまやまちょLv.80は色好いが移ろい易くない」ということは事実と異なる ; $proof$ = 
fact1 & fact5 -> int1: このまやまちょLv.80は怪しないけれど大人し; int1 & fact3 -> int2: このまやまちょLv.80は移ろい易くない; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact3 -> int2: ¬{B}{a}; int2 & fact4 -> hypothesis; __DISPROVED__