そのもにゃものLv.2は騒々しい
fact1: もしもそのもにゃものLv.2が得難いならそれは幼し fact2: 仮に「なにがしかのモンスターは暑くてそれに騒々しい」ということは成り立たないならばそれは騒々しくない fact3: 仮にそのもにゃものLv.2が狙い難いならそのもにゃものLv.2は騒々しい fact4: もし仮に「「あのまにょまよLv.9は物納するかあるいは幼しということはない」ということは事実だ」ということは誤りだとしたらそのもにゃものLv.2は幼しない fact5: 仮に「そのもにゃものLv.2は幼し」ということは成り立つとすればそのもにゃものLv.2は狙い難い fact6: もし仮に「なにがしかのモンスターが騒々しいしその上それは幼し」ということは誤りだとしたらそれは騒々しくない fact7: そのもにゃものLv.2は得難い fact8: 「「あのまにょまよLv.9は暑くておまけにそれは騒々しい」ということは事実だ」ということは成り立たない
fact1 & fact7 -> int1: 「そのもにゃものLv.2は幼し」ということは真実だ; int1 & fact5 -> int2: そのもにゃものLv.2は狙い難い; int2 & fact3 -> hypothesis;
fact1 & fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
そのもにゃものLv.2は騒々しいということはない
fact9 -> int3: 「「そのもにゃものLv.2は騒々しいししかも幼し」ということは本当でない」ということは真実ならば騒々しくない;
$facts$ = fact1: もしもそのもにゃものLv.2が得難いならそれは幼し fact2: 仮に「なにがしかのモンスターは暑くてそれに騒々しい」ということは成り立たないならばそれは騒々しくない fact3: 仮にそのもにゃものLv.2が狙い難いならそのもにゃものLv.2は騒々しい fact4: もし仮に「「あのまにょまよLv.9は物納するかあるいは幼しということはない」ということは事実だ」ということは誤りだとしたらそのもにゃものLv.2は幼しない fact5: 仮に「そのもにゃものLv.2は幼し」ということは成り立つとすればそのもにゃものLv.2は狙い難い fact6: もし仮に「なにがしかのモンスターが騒々しいしその上それは幼し」ということは誤りだとしたらそれは騒々しくない fact7: そのもにゃものLv.2は得難い fact8: 「「あのまにょまよLv.9は暑くておまけにそれは騒々しい」ということは事実だ」ということは成り立たない ; $hypothesis$ = そのもにゃものLv.2は騒々しい ; $proof$ = 
fact1 & fact7 -> int1: 「そのもにゃものLv.2は幼し」ということは真実だ; int1 & fact5 -> int2: そのもにゃものLv.2は狙い難い; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__