あのもちゅもくLv.70は看過し難くない
fact1: もし仮にそのもくもにょLv.32は相対立するとすると「薄っぺらくないかあるいはそれはごついということはない」ということは成り立たない fact2: とあるモンスターが起こし得ないならば沈黙すらない fact3: きな臭いモンスターは起こし得ない fact4: 仮にあるモンスターが看過し難いとするときな臭い fact5: 仮に「このまにょまゆLv.92は起こし得る」ということは正しいとするとあのもちゅもくLv.70はきな臭い fact6: 仮にそのもくもにょLv.32が敗訴するということはないとすればそのもくもにょLv.32は看過し難いしまた完結する fact7: 仮にそのもくもにょLv.32が沈黙すとしたらこのまにょまゆLv.92は起こし得る fact8: そのもくもにょLv.32が沈黙すらないならこのもにょもにLv.63はごついししかも相対立する fact9: そのもくもにょLv.32は相対立する fact10: 仮に「そのもくもにょLv.32は薄っぺらくないかもしくはごつかないかもしくは両方だ」ということは成り立たないとすればそのもくもにょLv.32は沈黙す fact11: あのもちゅもくLv.70がきな臭いとするとそれは看過し難い
fact1 & fact9 -> int1: 「そのもくもにょLv.32は薄っぺらくないかあるいはそれはごつかないか両方だ」ということは嘘である; int1 & fact10 -> int2: そのもくもにょLv.32は沈黙す; int2 & fact7 -> int3: このまにょまゆLv.92は起こし得る; int3 & fact5 -> int4: あのもちゅもくLv.70はきな臭い; int4 & fact11 -> hypothesis;
fact1 & fact9 -> int1: ¬(¬{AA}{a} v ¬{AB}{a}); int1 & fact10 -> int2: {B}{a}; int2 & fact7 -> int3: {C}{b}; int3 & fact5 -> int4: {D}{c}; int4 & fact11 -> hypothesis;
このもにょもにLv.63はごつい
fact14 -> int5: もしそのもくもにょLv.32が起こし得ないとしたら沈黙すらない; fact16 -> int6: もしもそのもくもにょLv.32がきな臭いとすればそれは起こし得ない; fact15 -> int7: もし仮に「そのもくもにょLv.32は看過し難い」ということは事実であるとしたらそれはきな臭い;
$facts$ = fact1: もし仮にそのもくもにょLv.32は相対立するとすると「薄っぺらくないかあるいはそれはごついということはない」ということは成り立たない fact2: とあるモンスターが起こし得ないならば沈黙すらない fact3: きな臭いモンスターは起こし得ない fact4: 仮にあるモンスターが看過し難いとするときな臭い fact5: 仮に「このまにょまゆLv.92は起こし得る」ということは正しいとするとあのもちゅもくLv.70はきな臭い fact6: 仮にそのもくもにょLv.32が敗訴するということはないとすればそのもくもにょLv.32は看過し難いしまた完結する fact7: 仮にそのもくもにょLv.32が沈黙すとしたらこのまにょまゆLv.92は起こし得る fact8: そのもくもにょLv.32が沈黙すらないならこのもにょもにLv.63はごついししかも相対立する fact9: そのもくもにょLv.32は相対立する fact10: 仮に「そのもくもにょLv.32は薄っぺらくないかもしくはごつかないかもしくは両方だ」ということは成り立たないとすればそのもくもにょLv.32は沈黙す fact11: あのもちゅもくLv.70がきな臭いとするとそれは看過し難い ; $hypothesis$ = あのもちゅもくLv.70は看過し難くない ; $proof$ = 
fact1 & fact9 -> int1: 「そのもくもにょLv.32は薄っぺらくないかあるいはそれはごつかないか両方だ」ということは嘘である; int1 & fact10 -> int2: そのもくもにょLv.32は沈黙す; int2 & fact7 -> int3: このまにょまゆLv.92は起こし得る; int3 & fact5 -> int4: あのもちゅもくLv.70はきな臭い; int4 & fact11 -> hypothesis; __DISPROVED__
fact1 & fact9 -> int1: ¬(¬{AA}{a} v ¬{AB}{a}); int1 & fact10 -> int2: {B}{a}; int2 & fact7 -> int3: {C}{b}; int3 & fact5 -> int4: {D}{c}; int4 & fact11 -> hypothesis; __DISPROVED__