「そのまにゃまちゅLv.66は丸くない」ということは正しい
fact1: このぴねぴいLv.87は遅い fact2: もしあのぷくぷよLv.13が脆いとしたらこのもくもねLv.94は古臭い fact3: 自分らしいモンスターは丸い fact4: 古臭いモンスターは遅くないがしかし受け入れ難い fact5: もしもあのぷくぷよLv.13が紳士らしくないとすればあのぷくぷよLv.13は脆くてさらにそれは烏滸がましい fact6: もし仮にあのぷくぷよLv.13が陰気臭いならばこのぴねぴいLv.87は自分らしい fact7: このもくもねLv.94は成功し易いけど恭しくない fact8: もし仮にこのもくもねLv.94が成功し易いがしかし恭しくないとするとあのぷくぷよLv.13は陰気臭い fact9: もしこのぴねぴいLv.87が自分らしいしそれが遅いとするとそのまにゃまちゅLv.66は丸くない fact10: もしも「このもくもねLv.94は遅くない」ということは真実であるとしたらそのまにゃまちゅLv.66は自分らしいしその上陰気臭い
fact8 & fact7 -> int1: あのぷくぷよLv.13は陰気臭い; int1 & fact6 -> int2: このぴねぴいLv.87は自分らしい; int2 & fact1 -> int3: 「このぴねぴいLv.87は自分らしいしそれに遅い」ということは真実である; int3 & fact9 -> hypothesis;
fact8 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{c}; int2 & fact1 -> int3: ({A}{c} & {C}{c}); int3 & fact9 -> hypothesis;
そのまにゃまちゅLv.66は丸い
fact13 -> int4: 「そのまにゃまちゅLv.66は自分らしい」ということは真実であるとすれば丸い; fact14 -> int5: 仮にこのもくもねLv.94が古臭いとすればこのもくもねLv.94は遅くないけれどそれは受け入れ難い;
$facts$ = fact1: このぴねぴいLv.87は遅い fact2: もしあのぷくぷよLv.13が脆いとしたらこのもくもねLv.94は古臭い fact3: 自分らしいモンスターは丸い fact4: 古臭いモンスターは遅くないがしかし受け入れ難い fact5: もしもあのぷくぷよLv.13が紳士らしくないとすればあのぷくぷよLv.13は脆くてさらにそれは烏滸がましい fact6: もし仮にあのぷくぷよLv.13が陰気臭いならばこのぴねぴいLv.87は自分らしい fact7: このもくもねLv.94は成功し易いけど恭しくない fact8: もし仮にこのもくもねLv.94が成功し易いがしかし恭しくないとするとあのぷくぷよLv.13は陰気臭い fact9: もしこのぴねぴいLv.87が自分らしいしそれが遅いとするとそのまにゃまちゅLv.66は丸くない fact10: もしも「このもくもねLv.94は遅くない」ということは真実であるとしたらそのまにゃまちゅLv.66は自分らしいしその上陰気臭い ; $hypothesis$ = 「そのまにゃまちゅLv.66は丸くない」ということは正しい ; $proof$ = 
fact8 & fact7 -> int1: あのぷくぷよLv.13は陰気臭い; int1 & fact6 -> int2: このぴねぴいLv.87は自分らしい; int2 & fact1 -> int3: 「このぴねぴいLv.87は自分らしいしそれに遅い」ということは真実である; int3 & fact9 -> hypothesis; __PROVED__
fact8 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{c}; int2 & fact1 -> int3: ({A}{c} & {C}{c}); int3 & fact9 -> hypothesis; __PROVED__