このまのまよLv.41は薄明るくない
fact1: このもえもちゃLv.81は薄明るい fact2: 「あのみちゅみにょLv.43は蹴り続けない」ということは成り立つ fact3: 仮に「なんらかのモンスターは汚らしいし薄明るい」ということは間違っているなら薄明るくない fact4: あのみちゅみにょLv.43は若い fact5: このもえもちゃLv.81が覚え易いならばこのまのまよLv.41は薄明るい fact6: 「もしもあのみちゅみにょLv.43が汚らしいとすればこのもえもちゃLv.81は覚え易い」ということは真実だ fact7: もしあのみちゅみにょLv.43が蹴り続けないとすると若くて汚らしい
fact2 & fact7 -> int1: あのみちゅみにょLv.43は若くてそれは汚らしい; int1 -> int2: あのみちゅみにょLv.43は汚らしい; int2 & fact6 -> int3: このもえもちゃLv.81は覚え易い; int3 & fact5 -> hypothesis;
fact2 & fact7 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact6 -> int3: {C}{b}; int3 & fact5 -> hypothesis;
このまのまよLv.41は薄明るくない
fact8 -> int4: もしも「このまのまよLv.41は汚らしいしかつそれは薄明るい」ということは成り立たないとするとこのまのまよLv.41は薄明るくない;
$facts$ = fact1: このもえもちゃLv.81は薄明るい fact2: 「あのみちゅみにょLv.43は蹴り続けない」ということは成り立つ fact3: 仮に「なんらかのモンスターは汚らしいし薄明るい」ということは間違っているなら薄明るくない fact4: あのみちゅみにょLv.43は若い fact5: このもえもちゃLv.81が覚え易いならばこのまのまよLv.41は薄明るい fact6: 「もしもあのみちゅみにょLv.43が汚らしいとすればこのもえもちゃLv.81は覚え易い」ということは真実だ fact7: もしあのみちゅみにょLv.43が蹴り続けないとすると若くて汚らしい ; $hypothesis$ = このまのまよLv.41は薄明るくない ; $proof$ = 
fact2 & fact7 -> int1: あのみちゅみにょLv.43は若くてそれは汚らしい; int1 -> int2: あのみちゅみにょLv.43は汚らしい; int2 & fact6 -> int3: このもえもちゃLv.81は覚え易い; int3 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact7 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact6 -> int3: {C}{b}; int3 & fact5 -> hypothesis; __DISPROVED__