あのぷちゃぷわLv.0は溶け難い
fact1: 「あのぽちょぽねLv.55は新しくて読み難い」ということは成り立たない fact2: 「あのぽちょぽねLv.55は新しいし加えてそれは読み難い」ということは成り立たないならばそれは溶け難くない fact3: 仮にあのぽちょぽねLv.55が溶け難くないとすればあのぷちゃぷわLv.0は読み難い fact4: 仮にあのぽちょぽねLv.55が溶け難くないとすればあのぷちゃぷわLv.0は溶け難くない一方で起き難い
fact2 & fact1 -> int1: あのぽちょぽねLv.55は溶け難くない; int1 & fact4 -> int2: あのぷちゃぷわLv.0は溶け難いということはないがしかしそれは起き難い; int2 -> hypothesis;
fact2 & fact1 -> int1: ¬{B}{a}; int1 & fact4 -> int2: (¬{B}{b} & {C}{b}); int2 -> hypothesis;
$facts$ = fact1: 「あのぽちょぽねLv.55は新しくて読み難い」ということは成り立たない fact2: 「あのぽちょぽねLv.55は新しいし加えてそれは読み難い」ということは成り立たないならばそれは溶け難くない fact3: 仮にあのぽちょぽねLv.55が溶け難くないとすればあのぷちゃぷわLv.0は読み難い fact4: 仮にあのぽちょぽねLv.55が溶け難くないとすればあのぷちゃぷわLv.0は溶け難くない一方で起き難い ; $hypothesis$ = あのぷちゃぷわLv.0は溶け難い ; $proof$ = 
fact2 & fact1 -> int1: あのぽちょぽねLv.55は溶け難くない; int1 & fact4 -> int2: あのぷちゃぷわLv.0は溶け難いということはないがしかしそれは起き難い; int2 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ¬{B}{a}; int1 & fact4 -> int2: (¬{B}{b} & {C}{b}); int2 -> hypothesis; __DISPROVED__