このもにょもちゅLv.78は浮き易くない
fact1: 仮にこのまにゃまいLv.39は受け入れ易いとしたら「このもにょもちゅLv.78は浮き易い」ということは本当だ fact2: 「このまにゃまいLv.39は厚ぼったい」ということは成り立つ fact3: もし仮にそのもにゃもにゅLv.11が起こり易いが猛々しくないならあのぷのぷいLv.94は幅広い fact4: もしもこのまにゃまいLv.39が果てし無いならこのまにゃまいLv.39は起こり易い fact5: あのぷのぷいLv.94が厚ぼったいならばこのまにゃまいLv.39は受け入れ易い fact6: そのもにゃもにゅLv.11は起こり易い一方で猛々しいということはない fact7: もしあのぷのぷいLv.94が幅広いとしたら厚ぼったい
fact3 & fact6 -> int1: あのぷのぷいLv.94は幅広い; fact7 & int1 -> int2: あのぷのぷいLv.94は厚ぼったい; int2 & fact5 -> int3: このまにゃまいLv.39は受け入れ易い; int3 & fact1 -> hypothesis;
fact3 & fact6 -> int1: {A}{a}; fact7 & int1 -> int2: {B}{a}; int2 & fact5 -> int3: {C}{b}; int3 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこのまにゃまいLv.39は受け入れ易いとしたら「このもにょもちゅLv.78は浮き易い」ということは本当だ fact2: 「このまにゃまいLv.39は厚ぼったい」ということは成り立つ fact3: もし仮にそのもにゃもにゅLv.11が起こり易いが猛々しくないならあのぷのぷいLv.94は幅広い fact4: もしもこのまにゃまいLv.39が果てし無いならこのまにゃまいLv.39は起こり易い fact5: あのぷのぷいLv.94が厚ぼったいならばこのまにゃまいLv.39は受け入れ易い fact6: そのもにゃもにゅLv.11は起こり易い一方で猛々しいということはない fact7: もしあのぷのぷいLv.94が幅広いとしたら厚ぼったい ; $hypothesis$ = このもにょもちゅLv.78は浮き易くない ; $proof$ = 
fact3 & fact6 -> int1: あのぷのぷいLv.94は幅広い; fact7 & int1 -> int2: あのぷのぷいLv.94は厚ぼったい; int2 & fact5 -> int3: このまにゃまいLv.39は受け入れ易い; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact6 -> int1: {A}{a}; fact7 & int1 -> int2: {B}{a}; int2 & fact5 -> int3: {C}{b}; int3 & fact1 -> hypothesis; __DISPROVED__