そのぴにょぴちょLv.1は否定し難くないしその上背負わさない
fact1: このぴねぴにゅLv.8は剥がれ易くないがそれは名高い fact2: もし仮に剥がれ易いということはないモンスターは名高いとすると「尊し」ということは真実だ fact3: 仮にそのぷよぷよLv.18は否定し難くないとしたら「そのぴにょぴちょLv.1は否定し難くなくてしかも背負わさない」ということは誤っている fact4: このぴねぴにゅLv.8が尊しかまたは強いならそのぷよぷよLv.18は否定し難くない
fact2 -> int1: このぴねぴにゅLv.8が剥がれ易いということはないが名高いならばこのぴねぴにゅLv.8は尊し; int1 & fact1 -> int2: このぴねぴにゅLv.8は尊し; int2 -> int3: このぴねぴにゅLv.8は尊しかもしくは強いかあるいはどちらもである; int3 & fact4 -> int4: そのぷよぷよLv.18は否定し難くない; int4 & fact3 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 -> int3: ({B}{aa} v {A}{aa}); int3 & fact4 -> int4: ¬{C}{a}; int4 & fact3 -> hypothesis;
$facts$ = fact1: このぴねぴにゅLv.8は剥がれ易くないがそれは名高い fact2: もし仮に剥がれ易いということはないモンスターは名高いとすると「尊し」ということは真実だ fact3: 仮にそのぷよぷよLv.18は否定し難くないとしたら「そのぴにょぴちょLv.1は否定し難くなくてしかも背負わさない」ということは誤っている fact4: このぴねぴにゅLv.8が尊しかまたは強いならそのぷよぷよLv.18は否定し難くない ; $hypothesis$ = そのぴにょぴちょLv.1は否定し難くないしその上背負わさない ; $proof$ = 
fact2 -> int1: このぴねぴにゅLv.8が剥がれ易いということはないが名高いならばこのぴねぴにゅLv.8は尊し; int1 & fact1 -> int2: このぴねぴにゅLv.8は尊し; int2 -> int3: このぴねぴにゅLv.8は尊しかもしくは強いかあるいはどちらもである; int3 & fact4 -> int4: そのぷよぷよLv.18は否定し難くない; int4 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 -> int3: ({B}{aa} v {A}{aa}); int3 & fact4 -> int4: ¬{C}{a}; int4 & fact3 -> hypothesis; __DISPROVED__