そのぴわぴにょLv.67は細長いけどそれは動き易くない
fact1: もし仮にそのぴわぴにょLv.67は限り無しないとすれば「「そのぴわぴにょLv.67は細長いしそれは動き易い」ということは成り立たない」ということは真実だ fact2: もしそのぴわぴにょLv.67は限り無しないならば「そのぴわぴにょLv.67は細長い一方でそれは動き易くない」ということは成り立たない fact3: 「「そのぴわぴにょLv.67は細長いしさらに動き易い」ということは成り立たない」ということは誤りであるということはない fact4: もし仮に何らかのモンスターが物狂おしくないとすればそれは限り無ししまたそれは透かす fact5: そのぴわぴにょLv.67は透かすということはない fact6: もしもそのぴわぴにょLv.67が限り無しとしたらあのみちゃみよLv.54は透かす fact7: あのみちゃみよLv.54は透かさない
void -> assump1: 以下のように仮定する。そのぴわぴにょLv.67は限り無し; fact6 & assump1 -> int1: あのみちゃみよLv.54は透かす; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴわぴにょLv.67は限り無しない; int3 & fact2 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis;
そのぴわぴにょLv.67は細長いけどそれは動き易くない
fact8 -> int4: もしもあのみちゃみよLv.54が物狂おしくないとすればあのみちゃみよLv.54は限り無ししおまけに透かす;
$facts$ = fact1: もし仮にそのぴわぴにょLv.67は限り無しないとすれば「「そのぴわぴにょLv.67は細長いしそれは動き易い」ということは成り立たない」ということは真実だ fact2: もしそのぴわぴにょLv.67は限り無しないならば「そのぴわぴにょLv.67は細長い一方でそれは動き易くない」ということは成り立たない fact3: 「「そのぴわぴにょLv.67は細長いしさらに動き易い」ということは成り立たない」ということは誤りであるということはない fact4: もし仮に何らかのモンスターが物狂おしくないとすればそれは限り無ししまたそれは透かす fact5: そのぴわぴにょLv.67は透かすということはない fact6: もしもそのぴわぴにょLv.67が限り無しとしたらあのみちゃみよLv.54は透かす fact7: あのみちゃみよLv.54は透かさない ; $hypothesis$ = そのぴわぴにょLv.67は細長いけどそれは動き易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴわぴにょLv.67は限り無し; fact6 & assump1 -> int1: あのみちゃみよLv.54は透かす; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴわぴにょLv.67は限り無しない; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis; __DISPROVED__