以下のように仮定する。このぴやぴよLv.33は悲しい
fact1: もしもあのみねみわLv.92が悲しいならばそのぽいぽゆLv.4は悲しい fact2: もしもそのぽいぽゆLv.4が悲しいならこのぴやぴよLv.33は悲しい fact3: もしもこのぴやぴよLv.33は悲しいか出港するとすると煎ずらない fact4: 仮にこのぴやぴよLv.33が出港するならそれは煎ずらない fact5: 「もし仮になんらかのモンスターが煎ずるということはないとすれば悲しいしその上それは出港する」ということは真実だ fact6: このぴやぴよLv.33は煎ずる
void -> assump1: 以下のように仮定する。このぴやぴよLv.33は悲しい; assump1 -> int1: このぴやぴよLv.33は悲しいかあるいは出港する; int1 & fact3 -> int2: このぴやぴよLv.33は煎ずらない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぴやぴよLv.33は悲しい
fact9 -> int4: あのみねみわLv.92が煎ずらないならそれは悲しいしそれは出港する;
$facts$ = fact1: もしもあのみねみわLv.92が悲しいならばそのぽいぽゆLv.4は悲しい fact2: もしもそのぽいぽゆLv.4が悲しいならこのぴやぴよLv.33は悲しい fact3: もしもこのぴやぴよLv.33は悲しいか出港するとすると煎ずらない fact4: 仮にこのぴやぴよLv.33が出港するならそれは煎ずらない fact5: 「もし仮になんらかのモンスターが煎ずるということはないとすれば悲しいしその上それは出港する」ということは真実だ fact6: このぴやぴよLv.33は煎ずる ; $hypothesis$ = 以下のように仮定する。このぴやぴよLv.33は悲しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このぴやぴよLv.33は悲しい; assump1 -> int1: このぴやぴよLv.33は悲しいかあるいは出港する; int1 & fact3 -> int2: このぴやぴよLv.33は煎ずらない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__