「「もしも男の子らしいとしたら甘ったるい」モンスターはいる」ということは成り立たない
fact1: もしあのまよまちょLv.7が男の子らしいならばそれは経験する fact2: もしあのまよまちょLv.7が経験するなら甘ったるい
void -> assump1: 以下のように仮定する。あのまよまちょLv.7は男の子らしい; fact1 & assump1 -> int1: あのまよまちょLv.7は経験する; int1 & fact2 -> int2: 「あのまよまちょLv.7は甘ったるい」ということは真実である; [assump1] & int2 -> int3: 「もし仮にあのまよまちょLv.7が男の子らしいとするとあのまよまちょLv.7は甘ったるい」ということは真実である; int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis;
$facts$ = fact1: もしあのまよまちょLv.7が男の子らしいならばそれは経験する fact2: もしあのまよまちょLv.7が経験するなら甘ったるい ; $hypothesis$ = 「「もしも男の子らしいとしたら甘ったるい」モンスターはいる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまよまちょLv.7は男の子らしい; fact1 & assump1 -> int1: あのまよまちょLv.7は経験する; int1 & fact2 -> int2: 「あのまよまちょLv.7は甘ったるい」ということは真実である; [assump1] & int2 -> int3: 「もし仮にあのまよまちょLv.7が男の子らしいとするとあのまよまちょLv.7は甘ったるい」ということは真実である; int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis; __DISPROVED__