「そのぽちゅぽねLv.89は是正すしその上痛ましい」ということは間違いだ
fact1: このぽくぽにょLv.70は赤し fact2: もしもこのぽくぽにょLv.70が書き易いならばそのぽちゅぽねLv.89は痛ましい fact3: このみやみよLv.79は痛ましい fact4: そのぽちゅぽねLv.89は是正す fact5: もし仮にこのぽくぽにょLv.70が赤しならば書き易い fact6: もし仮になんらかのモンスターは赤しないなら「「それは是正すしそれにそれは痛ましい」ということは成り立つ」ということは本当でない
fact5 & fact1 -> int1: このぽくぽにょLv.70は書き易い; int1 & fact2 -> int2: そのぽちゅぽねLv.89は痛ましい; int2 & fact4 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
「そのぽちゅぽねLv.89は是正すしその上痛ましい」ということは間違いだ
fact7 -> int3: もし仮に「そのぽちゅぽねLv.89は赤しない」ということは真実だとすると「そのぽちゅぽねLv.89は是正すしそれに痛ましい」ということは嘘である;
$facts$ = fact1: このぽくぽにょLv.70は赤し fact2: もしもこのぽくぽにょLv.70が書き易いならばそのぽちゅぽねLv.89は痛ましい fact3: このみやみよLv.79は痛ましい fact4: そのぽちゅぽねLv.89は是正す fact5: もし仮にこのぽくぽにょLv.70が赤しならば書き易い fact6: もし仮になんらかのモンスターは赤しないなら「「それは是正すしそれにそれは痛ましい」ということは成り立つ」ということは本当でない ; $hypothesis$ = 「そのぽちゅぽねLv.89は是正すしその上痛ましい」ということは間違いだ ; $proof$ = 
fact5 & fact1 -> int1: このぽくぽにょLv.70は書き易い; int1 & fact2 -> int2: そのぽちゅぽねLv.89は痛ましい; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__