このまちょまにょLv.44は貢献しない
fact1: このまちょまにょLv.44は御するし懸濁する fact2: もし仮に「このまちょまにょLv.44はおっかないということはないか貢献するかまたは両方だ」ということは誤りならばあのぽにぽのLv.99は貢献しない fact3: あのぷちょぷくLv.21が御しないならこのまちょまにょLv.44は貢献するということはないか懸濁する fact4: このまちょまにょLv.44が懸濁するとしたらこのまちょまにょLv.44は相談し易い fact5: もしもこのまちょまにょLv.44が相談し易いならこのまちょまにょLv.44は貢献する
fact1 -> int1: 「このまちょまにょLv.44は懸濁する」ということは本当である; int1 & fact4 -> int2: このまちょまにょLv.44は相談し易い; int2 & fact5 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
あのぽにぽのLv.99は相談し易い
$facts$ = fact1: このまちょまにょLv.44は御するし懸濁する fact2: もし仮に「このまちょまにょLv.44はおっかないということはないか貢献するかまたは両方だ」ということは誤りならばあのぽにぽのLv.99は貢献しない fact3: あのぷちょぷくLv.21が御しないならこのまちょまにょLv.44は貢献するということはないか懸濁する fact4: このまちょまにょLv.44が懸濁するとしたらこのまちょまにょLv.44は相談し易い fact5: もしもこのまちょまにょLv.44が相談し易いならこのまちょまにょLv.44は貢献する ; $hypothesis$ = このまちょまにょLv.44は貢献しない ; $proof$ = 
fact1 -> int1: 「このまちょまにょLv.44は懸濁する」ということは本当である; int1 & fact4 -> int2: このまちょまにょLv.44は相談し易い; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __DISPROVED__