このもちゃもちゅLv.20はややこしくない
fact1: 宜しいということはないモンスターはややこしいということはない fact2: 「このぷゆぷにゃLv.33は宜しくて参列する」ということは事実だ fact3: もしこのぷゆぷにゃLv.33が眠たいとしたらこのもちゃもちゅLv.20はややこしい fact4: もし仮にこのぷゆぷにゃLv.33が参列するならこのぷゆぷにゃLv.33は眠たい
fact2 -> int1: このぷゆぷにゃLv.33は参列する; int1 & fact4 -> int2: 「このぷゆぷにゃLv.33は眠たい」ということは事実である; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
このもちゃもちゅLv.20はややこしくない
fact5 -> int3: 「もしこのもちゃもちゅLv.20が宜しくないとするとこのもちゃもちゅLv.20はややこしくない」ということは正しい;
$facts$ = fact1: 宜しいということはないモンスターはややこしいということはない fact2: 「このぷゆぷにゃLv.33は宜しくて参列する」ということは事実だ fact3: もしこのぷゆぷにゃLv.33が眠たいとしたらこのもちゃもちゅLv.20はややこしい fact4: もし仮にこのぷゆぷにゃLv.33が参列するならこのぷゆぷにゃLv.33は眠たい ; $hypothesis$ = このもちゃもちゅLv.20はややこしくない ; $proof$ = 
fact2 -> int1: このぷゆぷにゃLv.33は参列する; int1 & fact4 -> int2: 「このぷゆぷにゃLv.33は眠たい」ということは事実である; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__