以下のように仮定する。あのぽちゅぽのLv.47は顔する
fact1: 仮にあのみなみよLv.33が殴り掛からないしさらにそれが合掌しないならばこのぷにぷなLv.66は合掌しない fact2: もし仮に「あのぽちゅぽのLv.47は顔する」ということは事実であるとしたら「あのぽちゅぽのLv.47は広がり易い」ということは成り立つ fact3: 仮にあのぴなぴいLv.40は故無いとすると「砕け易い」ということは成り立つ fact4: 「このぷにぷなLv.66は合掌しない」ということは事実なら「「あのぷくぷゆLv.31は印象深いということはないし加えてそれはややこしいということはない」ということは確かである」ということは事実と異なる fact5: 印象深くないモンスターは顔するし加えて広がり易い fact6: あのぽちゅぽのLv.47は広がり易くない fact7: もしも「あのぷくぷゆLv.31は印象深くなくてややこしくない」ということは誤っていればあのぽちゅぽのLv.47は印象深いということはない
void -> assump1: 以下のように仮定する。あのぽちゅぽのLv.47は顔する; fact2 & assump1 -> int1: あのぽちゅぽのLv.47は広がり易い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。あのぽちゅぽのLv.47は顔する
fact8 -> int3: もし仮にあのぽちゅぽのLv.47が印象深くないとするとあのぽちゅぽのLv.47は顔するし更に広がり易い;
$facts$ = fact1: 仮にあのみなみよLv.33が殴り掛からないしさらにそれが合掌しないならばこのぷにぷなLv.66は合掌しない fact2: もし仮に「あのぽちゅぽのLv.47は顔する」ということは事実であるとしたら「あのぽちゅぽのLv.47は広がり易い」ということは成り立つ fact3: 仮にあのぴなぴいLv.40は故無いとすると「砕け易い」ということは成り立つ fact4: 「このぷにぷなLv.66は合掌しない」ということは事実なら「「あのぷくぷゆLv.31は印象深いということはないし加えてそれはややこしいということはない」ということは確かである」ということは事実と異なる fact5: 印象深くないモンスターは顔するし加えて広がり易い fact6: あのぽちゅぽのLv.47は広がり易くない fact7: もしも「あのぷくぷゆLv.31は印象深くなくてややこしくない」ということは誤っていればあのぽちゅぽのLv.47は印象深いということはない ; $hypothesis$ = 以下のように仮定する。あのぽちゅぽのLv.47は顔する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽちゅぽのLv.47は顔する; fact2 & assump1 -> int1: あのぽちゅぽのLv.47は広がり易い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__