以下のように仮定する。あのぷねぷちょLv.60は可愛い
fact1: 「なんらかのモンスターは陥れないし加えてそれは重いということはない」ということは成り立たないとするとそれはか細くない fact2: もし仮にあのぷにゅぷわLv.73は総入れ替えするとしたら「このぽなぽくLv.90は陥れないしその上重くない」ということは成り立つということはない fact3: あのぷねぷちょLv.60は囁き合わない fact4: もしもこのぽなぽくLv.90はか細くないとすると「「このぴやぴなLv.83はきつくないかあるいは格好良いということはないかまたはどちらもである」ということは嘘だ」ということは成り立つ fact5: もしあのぽなぽえLv.75は格好良くないとすると「あのぷねぷちょLv.60は囁き合うし可愛い」ということは成り立つ fact6: 「すべてのモンスターは総入れ替えするししかも採点する」ということは成り立つ fact7: もしもあのぷねぷちょLv.60が可愛いならば囁き合う
void -> assump1: 以下のように仮定する。あのぷねぷちょLv.60は可愛い; fact7 & assump1 -> int1: あのぷねぷちょLv.60は囁き合う; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。あのぷねぷちょLv.60は可愛い
fact12 -> int3: 「このぽなぽくLv.90は陥れないし加えてそれは重いということはない」ということは本当でないとするとこのぽなぽくLv.90はか細いということはない; fact10 -> int4: あのぷにゅぷわLv.73は総入れ替えするしそれは採点する; int4 -> int5: あのぷにゅぷわLv.73は総入れ替えする; fact8 & int5 -> int6: 「このぽなぽくLv.90は陥れなくて更にそれは重くない」ということは成り立たない; int3 & int6 -> int7: このぽなぽくLv.90はか細くない; fact11 & int7 -> int8: 「このぴやぴなLv.83はきつくないか格好良くないかもしくは両方である」ということは誤っている; int8 -> int9: 「「きつかないか格好良くないかもしくは両方ともである」ということは成り立たない」モンスターはいる;
$facts$ = fact1: 「なんらかのモンスターは陥れないし加えてそれは重いということはない」ということは成り立たないとするとそれはか細くない fact2: もし仮にあのぷにゅぷわLv.73は総入れ替えするとしたら「このぽなぽくLv.90は陥れないしその上重くない」ということは成り立つということはない fact3: あのぷねぷちょLv.60は囁き合わない fact4: もしもこのぽなぽくLv.90はか細くないとすると「「このぴやぴなLv.83はきつくないかあるいは格好良いということはないかまたはどちらもである」ということは嘘だ」ということは成り立つ fact5: もしあのぽなぽえLv.75は格好良くないとすると「あのぷねぷちょLv.60は囁き合うし可愛い」ということは成り立つ fact6: 「すべてのモンスターは総入れ替えするししかも採点する」ということは成り立つ fact7: もしもあのぷねぷちょLv.60が可愛いならば囁き合う ; $hypothesis$ = 以下のように仮定する。あのぷねぷちょLv.60は可愛い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷねぷちょLv.60は可愛い; fact7 & assump1 -> int1: あのぷねぷちょLv.60は囁き合う; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__