「もしこのぷゆぷなLv.45が塗り残すとしたらこのぷゆぷなLv.45は苦い」ということは偽だ
fact1: 仮にこのぷゆぷなLv.45がぶっといとしたらそれは苦い fact2: もし仮にこのぷゆぷなLv.45が塗り残すとするとそれはすーごい fact3: 仮にこのぷゆぷなLv.45が塗り残すとすればこのぷゆぷなLv.45は投げる fact4: 仮にこのぷゆぷなLv.45がすーごいとしたらぶっとい fact5: あのものもちゅLv.15はすーごい
void -> assump1: 以下のように仮定する。このぷゆぷなLv.45は塗り残す; fact2 & assump1 -> int1: 「このぷゆぷなLv.45はすーごい」ということは確かである; int1 & fact4 -> int2: このぷゆぷなLv.45はぶっとい; int2 & fact1 -> int3: このぷゆぷなLv.45は苦い; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> int3: {D}{a}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にこのぷゆぷなLv.45がぶっといとしたらそれは苦い fact2: もし仮にこのぷゆぷなLv.45が塗り残すとするとそれはすーごい fact3: 仮にこのぷゆぷなLv.45が塗り残すとすればこのぷゆぷなLv.45は投げる fact4: 仮にこのぷゆぷなLv.45がすーごいとしたらぶっとい fact5: あのものもちゅLv.15はすーごい ; $hypothesis$ = 「もしこのぷゆぷなLv.45が塗り残すとしたらこのぷゆぷなLv.45は苦い」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷゆぷなLv.45は塗り残す; fact2 & assump1 -> int1: 「このぷゆぷなLv.45はすーごい」ということは確かである; int1 & fact4 -> int2: このぷゆぷなLv.45はぶっとい; int2 & fact1 -> int3: このぷゆぷなLv.45は苦い; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> int3: {D}{a}; [assump1] & int3 -> hypothesis; __DISPROVED__