あのぴくぴにょLv.64は旨い
fact1: もしもあのぴくぴにょLv.64は走り易いかあるいはけたたましくないかあるいは両方であるとすると旨くない fact2: このみにょみやLv.13は街らしいししかも正しい fact3: このみにょみやLv.13が街らしいならあのぴくぴにょLv.64は走り易いかもしくはけたたましいということはない fact4: 街らしいモンスターは旨い
fact2 -> int1: このみにょみやLv.13は街らしい; int1 & fact3 -> int2: 「あのぴくぴにょLv.64は走り易いかまたはけたたましくない」ということは成り立つ; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: ({D}{b} v ¬{C}{b}); int2 & fact1 -> hypothesis;
あのぴくぴにょLv.64は旨い
fact5 -> int3: あのぴくぴにょLv.64が街らしいならあのぴくぴにょLv.64は旨い;
$facts$ = fact1: もしもあのぴくぴにょLv.64は走り易いかあるいはけたたましくないかあるいは両方であるとすると旨くない fact2: このみにょみやLv.13は街らしいししかも正しい fact3: このみにょみやLv.13が街らしいならあのぴくぴにょLv.64は走り易いかもしくはけたたましいということはない fact4: 街らしいモンスターは旨い ; $hypothesis$ = あのぴくぴにょLv.64は旨い ; $proof$ = 
fact2 -> int1: このみにょみやLv.13は街らしい; int1 & fact3 -> int2: 「あのぴくぴにょLv.64は走り易いかまたはけたたましくない」ということは成り立つ; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: ({D}{b} v ¬{C}{b}); int2 & fact1 -> hypothesis; __DISPROVED__