「「そのぽゆぽにゅLv.68は塗れるし滅びる」ということは成り立たない」ということは誤りだということはない
fact1: そのぽゆぽにゅLv.68は滅びる fact2: そのぽねぽにLv.17は容易いが厚いということはない fact3: 仮にそのぽゆぽにゅLv.68が取り消すとすれば塗れる fact4: 何らかのモンスターは平ったくないなら「それは塗れるしおまけにそれは滅びる」ということは間違いだ fact5: そのぽねぽにLv.17はどうしても欲しくない fact6: もしそのぽねぽにLv.17が平ったいならばそのぽゆぽにゅLv.68はコントロールし易い fact7: もしそのぽゆぽにゅLv.68がコントロールし易いならば人懐こいしさらにどうしても欲しくない fact8: 「なんらかのモンスターはコントロールし易くないなら「人懐こいしそれは平ったい」ということは間違っている」ということは事実だ fact9: もしもそのぽゆぽにゅLv.68が人懐こいけれどどうしても欲しくないならそれは取り消す fact10: そのぽねぽにLv.17は平ったい
fact6 & fact10 -> int1: そのぽゆぽにゅLv.68はコントロールし易い; int1 & fact7 -> int2: そのぽゆぽにゅLv.68は人懐こいけれどそれはどうしても欲しくない; int2 & fact9 -> int3: 「そのぽゆぽにゅLv.68は取り消す」ということは確かである; int3 & fact3 -> int4: そのぽゆぽにゅLv.68は塗れる; int4 & fact1 -> hypothesis;
fact6 & fact10 -> int1: {B}{b}; int1 & fact7 -> int2: ({C}{b} & ¬{D}{b}); int2 & fact9 -> int3: {E}{b}; int3 & fact3 -> int4: {F}{b}; int4 & fact1 -> hypothesis;
「「そのぽゆぽにゅLv.68は塗れるし滅びる」ということは成り立たない」ということは誤りだということはない
fact12 -> int5: 仮に「そのぽねぽにLv.17は平ったくない」ということは本当であるならば「そのぽねぽにLv.17は塗れるし滅びる」ということは確かでない; fact11 -> int6: もしもそのぷちょぷにゅLv.5はコントロールし易くないとすれば「そのぷちょぷにゅLv.5は人懐こくてかつ平ったい」ということは誤りである;
$facts$ = fact1: そのぽゆぽにゅLv.68は滅びる fact2: そのぽねぽにLv.17は容易いが厚いということはない fact3: 仮にそのぽゆぽにゅLv.68が取り消すとすれば塗れる fact4: 何らかのモンスターは平ったくないなら「それは塗れるしおまけにそれは滅びる」ということは間違いだ fact5: そのぽねぽにLv.17はどうしても欲しくない fact6: もしそのぽねぽにLv.17が平ったいならばそのぽゆぽにゅLv.68はコントロールし易い fact7: もしそのぽゆぽにゅLv.68がコントロールし易いならば人懐こいしさらにどうしても欲しくない fact8: 「なんらかのモンスターはコントロールし易くないなら「人懐こいしそれは平ったい」ということは間違っている」ということは事実だ fact9: もしもそのぽゆぽにゅLv.68が人懐こいけれどどうしても欲しくないならそれは取り消す fact10: そのぽねぽにLv.17は平ったい ; $hypothesis$ = 「「そのぽゆぽにゅLv.68は塗れるし滅びる」ということは成り立たない」ということは誤りだということはない ; $proof$ = 
fact6 & fact10 -> int1: そのぽゆぽにゅLv.68はコントロールし易い; int1 & fact7 -> int2: そのぽゆぽにゅLv.68は人懐こいけれどそれはどうしても欲しくない; int2 & fact9 -> int3: 「そのぽゆぽにゅLv.68は取り消す」ということは確かである; int3 & fact3 -> int4: そのぽゆぽにゅLv.68は塗れる; int4 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact10 -> int1: {B}{b}; int1 & fact7 -> int2: ({C}{b} & ¬{D}{b}); int2 & fact9 -> int3: {E}{b}; int3 & fact3 -> int4: {F}{b}; int4 & fact1 -> hypothesis; __DISPROVED__