あのぷちゃぷわLv.12は用い易くない
fact1: もしあのぷちゃぷわLv.12は他愛無いということはないとしたら「捏ね回すしかつそれは保ち易い」ということは間違っている fact2: もし「あのぷちゃぷわLv.12は捏ね回すししかも保ち易い」ということは偽だとしたらそれは悲しない fact3: もしあのぷちゃぷわLv.12が悲しないとすると用い易い fact4: あのぷちゃぷわLv.12は他愛無くない
fact1 & fact4 -> int1: 「あのぷちゃぷわLv.12は捏ね回すしおまけにそれは保ち易い」ということは成り立たない; int1 & fact2 -> int2: あのぷちゃぷわLv.12は悲しということはない; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ¬({AA}{a} & {AB}{a}); int1 & fact2 -> int2: ¬{B}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もしあのぷちゃぷわLv.12は他愛無いということはないとしたら「捏ね回すしかつそれは保ち易い」ということは間違っている fact2: もし「あのぷちゃぷわLv.12は捏ね回すししかも保ち易い」ということは偽だとしたらそれは悲しない fact3: もしあのぷちゃぷわLv.12が悲しないとすると用い易い fact4: あのぷちゃぷわLv.12は他愛無くない ; $hypothesis$ = あのぷちゃぷわLv.12は用い易くない ; $proof$ = 
fact1 & fact4 -> int1: 「あのぷちゃぷわLv.12は捏ね回すしおまけにそれは保ち易い」ということは成り立たない; int1 & fact2 -> int2: あのぷちゃぷわLv.12は悲しということはない; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: ¬({AA}{a} & {AB}{a}); int1 & fact2 -> int2: ¬{B}{a}; int2 & fact3 -> hypothesis; __DISPROVED__