このもちゃもいLv.5は発散しない
fact1: そのぷなぷわLv.90は錆無い fact2: もし仮にそのぷなぷわLv.90が錆無いとすればこのもちゃもいLv.5は発散する fact3: そのもいもよLv.19は発散する fact4: もし錆無くないモンスターが確からしいとすればそれは発散するということはない fact5: 仮に何らかのモンスターが逞しいとするとそれは錆無くなくてまた確からしい
fact1 -> int1: そのぷなぷわLv.90は錆無い; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
このもちゃもいLv.5は発散しない
fact6 -> int2: 仮にこのもちゃもいLv.5は錆無くないがしかし確からしいとするとそれは発散しない; fact7 -> int3: もしもこのもちゃもいLv.5が逞しいとしたらこのもちゃもいLv.5は錆無くない一方でそれは確からしい;
$facts$ = fact1: そのぷなぷわLv.90は錆無い fact2: もし仮にそのぷなぷわLv.90が錆無いとすればこのもちゃもいLv.5は発散する fact3: そのもいもよLv.19は発散する fact4: もし錆無くないモンスターが確からしいとすればそれは発散するということはない fact5: 仮に何らかのモンスターが逞しいとするとそれは錆無くなくてまた確からしい ; $hypothesis$ = このもちゃもいLv.5は発散しない ; $proof$ = 
fact1 -> int1: そのぷなぷわLv.90は錆無い; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__