以下のように仮定する。そのぽよぽちょLv.70は気付き易い
fact1: もし仮にあのもねもにょLv.51が気付き易いとすればあのもちゃもにょLv.24は気付き易い fact2: 仮にそのみちょみゆLv.57がめでたいならあのもねもにょLv.51は気付き易い fact3: もしもなんらかのモンスターが気付き易いならばそれは僻みっぽい fact4: そのぽよぽちょLv.70は僻みっぽいということはない
fact3 -> int1: 仮に「そのぽよぽちょLv.70は気付き易い」ということは嘘でないとすればそのぽよぽちょLv.70は僻みっぽい; void -> assump1: 以下のように仮定する。そのぽよぽちょLv.70は気付き易い; int1 & assump1 -> int2: 「そのぽよぽちょLv.70は僻みっぽい」ということは本当だ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: {C}{aa}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのもちゃもにょLv.24は気付き易い
$facts$ = fact1: もし仮にあのもねもにょLv.51が気付き易いとすればあのもちゃもにょLv.24は気付き易い fact2: 仮にそのみちょみゆLv.57がめでたいならあのもねもにょLv.51は気付き易い fact3: もしもなんらかのモンスターが気付き易いならばそれは僻みっぽい fact4: そのぽよぽちょLv.70は僻みっぽいということはない ; $hypothesis$ = 以下のように仮定する。そのぽよぽちょLv.70は気付き易い ; $proof$ = 
fact3 -> int1: 仮に「そのぽよぽちょLv.70は気付き易い」ということは嘘でないとすればそのぽよぽちょLv.70は僻みっぽい; void -> assump1: 以下のように仮定する。そのぽよぽちょLv.70は気付き易い; int1 & assump1 -> int2: 「そのぽよぽちょLv.70は僻みっぽい」ということは本当だ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> {C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: {C}{aa}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__