そのぷゆぷゆLv.89は散策出来ないけれど出帆する
fact1: もし「あのみよみなLv.19は度し難くないが聡い」ということは事実でないとすれば「乏しくない」ということは事実である fact2: もし仮にあのみよみなLv.19は乏しいということはないなら「あのぽわぽにょLv.10は乏しくて加えて無声化し易い」ということは真実だということはない fact3: もし「あのぽわぽにょLv.10は乏しくてそれは無声化し易い」ということは成り立たないとするとあのぽわぽにょLv.10は出帆しない fact4: 仮にあのぽわぽにょLv.10は出帆しないとしたら「そのぷゆぷゆLv.89は散策出来ないが出帆する」ということは成り立たない fact5: もしあのみよみなLv.19は安いとすると「このもにものLv.45は弱々しくないけれど賢し」ということは成り立つということはない fact6: 乏しいモンスターは聡い fact7: もし「安くない」モンスターはいるとしたら「あのみよみなLv.19は度し難くないがしかしそれは聡い」ということは嘘だ fact8: 「安くない」モンスターはいる
fact8 & fact7 -> int1: 「あのみよみなLv.19は度し難くないがしかし聡い」ということは本当でない; int1 & fact1 -> int2: あのみよみなLv.19は乏しくない; int2 & fact2 -> int3: 「あのぽわぽにょLv.10は乏しいし無声化し易い」ということは誤っている; int3 & fact3 -> int4: あのぽわぽにょLv.10は出帆しない; int4 & fact4 -> hypothesis;
fact8 & fact7 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact1 -> int2: ¬{D}{a}; int2 & fact2 -> int3: ¬({D}{b} & {E}{b}); int3 & fact3 -> int4: ¬{F}{b}; int4 & fact4 -> hypothesis;
「このもにものLv.45は弱々しくない一方で賢し」ということは成り立たない
fact9 -> int5: もし仮にあのぽわぽにょLv.10が乏しいなら聡い;
$facts$ = fact1: もし「あのみよみなLv.19は度し難くないが聡い」ということは事実でないとすれば「乏しくない」ということは事実である fact2: もし仮にあのみよみなLv.19は乏しいということはないなら「あのぽわぽにょLv.10は乏しくて加えて無声化し易い」ということは真実だということはない fact3: もし「あのぽわぽにょLv.10は乏しくてそれは無声化し易い」ということは成り立たないとするとあのぽわぽにょLv.10は出帆しない fact4: 仮にあのぽわぽにょLv.10は出帆しないとしたら「そのぷゆぷゆLv.89は散策出来ないが出帆する」ということは成り立たない fact5: もしあのみよみなLv.19は安いとすると「このもにものLv.45は弱々しくないけれど賢し」ということは成り立つということはない fact6: 乏しいモンスターは聡い fact7: もし「安くない」モンスターはいるとしたら「あのみよみなLv.19は度し難くないがしかしそれは聡い」ということは嘘だ fact8: 「安くない」モンスターはいる ; $hypothesis$ = そのぷゆぷゆLv.89は散策出来ないけれど出帆する ; $proof$ = 
fact8 & fact7 -> int1: 「あのみよみなLv.19は度し難くないがしかし聡い」ということは本当でない; int1 & fact1 -> int2: あのみよみなLv.19は乏しくない; int2 & fact2 -> int3: 「あのぽわぽにょLv.10は乏しいし無声化し易い」ということは誤っている; int3 & fact3 -> int4: あのぽわぽにょLv.10は出帆しない; int4 & fact4 -> hypothesis; __DISPROVED__
fact8 & fact7 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact1 -> int2: ¬{D}{a}; int2 & fact2 -> int3: ¬({D}{b} & {E}{b}); int3 & fact3 -> int4: ¬{F}{b}; int4 & fact4 -> hypothesis; __DISPROVED__