あのまちゅまにょLv.99は雄々しくないけれどそれは黄色っぽい
fact1: もし仮にあのまちゅまにょLv.99が入れ始めるししかもそれが雄々しいとすればあのもちょもよLv.71は木らしくない fact2: このもわもちゃLv.19は思い易いということはない fact3: もしもなんらかのモンスターは木らしいとすれば「発足しないしまたそれは黄色っぽい」ということは成り立たない fact4: もしもあのもちょもよLv.71が木らしいしかつ入れ始めればこのぷちゅぷちゃLv.66は黄色っぽくない fact5: もし仮にこのもわもちゃLv.19は思い易くないとすれば「あのもちょもよLv.71は入れ始めないけど雄々しい」ということは間違いだ fact6: 「あのもちょもよLv.71は木らしい」ということは成り立つ fact7: 仮に「「入れ始めないしその上雄々しい」ということは誤っている」モンスターがいるならあのまちゅまにょLv.99は雄々しくない fact8: あのもちょもよLv.71は入れ始める fact9: もしもこのぷちゅぷちゃLv.66は黄色っぽくないならば「あのまちゅまにょLv.99は雄々しくない一方で黄色っぽい」ということは成り立たない
fact6 & fact8 -> int1: あのもちょもよLv.71は木らしいし入れ始める; int1 & fact4 -> int2: このぷちゅぷちゃLv.66は黄色っぽくない; int2 & fact9 -> hypothesis;
fact6 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact9 -> hypothesis;
「あのまちゅまにょLv.99は発足しないけど黄色っぽい」ということは成り立たない
fact10 -> int3: もし仮にあのまちゅまにょLv.99は木らしいなら「発足しなくてさらにそれは黄色っぽい」ということは間違いである;
$facts$ = fact1: もし仮にあのまちゅまにょLv.99が入れ始めるししかもそれが雄々しいとすればあのもちょもよLv.71は木らしくない fact2: このもわもちゃLv.19は思い易いということはない fact3: もしもなんらかのモンスターは木らしいとすれば「発足しないしまたそれは黄色っぽい」ということは成り立たない fact4: もしもあのもちょもよLv.71が木らしいしかつ入れ始めればこのぷちゅぷちゃLv.66は黄色っぽくない fact5: もし仮にこのもわもちゃLv.19は思い易くないとすれば「あのもちょもよLv.71は入れ始めないけど雄々しい」ということは間違いだ fact6: 「あのもちょもよLv.71は木らしい」ということは成り立つ fact7: 仮に「「入れ始めないしその上雄々しい」ということは誤っている」モンスターがいるならあのまちゅまにょLv.99は雄々しくない fact8: あのもちょもよLv.71は入れ始める fact9: もしもこのぷちゅぷちゃLv.66は黄色っぽくないならば「あのまちゅまにょLv.99は雄々しくない一方で黄色っぽい」ということは成り立たない ; $hypothesis$ = あのまちゅまにょLv.99は雄々しくないけれどそれは黄色っぽい ; $proof$ = 
fact6 & fact8 -> int1: あのもちょもよLv.71は木らしいし入れ始める; int1 & fact4 -> int2: このぷちゅぷちゃLv.66は黄色っぽくない; int2 & fact9 -> hypothesis; __DISPROVED__
fact6 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact9 -> hypothesis; __DISPROVED__