あのみにみよLv.72はどでかくない
fact1: 仮にあのみにみよLv.72が違いならばあのみにみよLv.72はどでかい fact2: もし「何らかのモンスターは違いということはないがしかし番う」ということは成り立たないとすれば「番うない」ということは間違っていない fact3: もしもなにがしかのモンスターはどでかくないならば「違くないがしかし番う」ということは本当でない fact4: もしもそのもにょもなLv.32が捨て難くないとするとそれは一掃するということはないけど物凄まじい fact5: もしあるモンスターは一掃するということはないかあるいは違くないかもしくはどちらもなら違くない fact6: なにがしかのモンスターが安いかまたは番うならあのみにみよLv.72は違い fact7: もし仮に「そのもにょもなLv.32は安くなくて番うということはない」ということは成り立たないならあのみにみよLv.72はどでかくない fact8: あのぽちゃぽちゃLv.13は番う
fact8 -> int1: あのぽちゃぽちゃLv.13は安いかまたは番うかあるいは両方である; int1 -> int2: とあるモンスターは安いかそれは番う; int2 & fact6 -> int3: あのみにみよLv.72は違い; int3 & fact1 -> hypothesis;
fact8 -> int1: ({A}{aa} v {B}{aa}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact6 -> int3: {C}{a}; int3 & fact1 -> hypothesis;
あのみにみよLv.72はか細い
fact9 -> int4: もし仮にそのもにょもなLv.32はどでかくないとしたら「そのもにょもなLv.32は違くないが番う」ということは偽である; fact10 -> int5: もし仮に「あのみにみよLv.72は違くないけどそれは番う」ということは間違っているとしたらあのみにみよLv.72は番うということはない;
$facts$ = fact1: 仮にあのみにみよLv.72が違いならばあのみにみよLv.72はどでかい fact2: もし「何らかのモンスターは違いということはないがしかし番う」ということは成り立たないとすれば「番うない」ということは間違っていない fact3: もしもなにがしかのモンスターはどでかくないならば「違くないがしかし番う」ということは本当でない fact4: もしもそのもにょもなLv.32が捨て難くないとするとそれは一掃するということはないけど物凄まじい fact5: もしあるモンスターは一掃するということはないかあるいは違くないかもしくはどちらもなら違くない fact6: なにがしかのモンスターが安いかまたは番うならあのみにみよLv.72は違い fact7: もし仮に「そのもにょもなLv.32は安くなくて番うということはない」ということは成り立たないならあのみにみよLv.72はどでかくない fact8: あのぽちゃぽちゃLv.13は番う ; $hypothesis$ = あのみにみよLv.72はどでかくない ; $proof$ = 
fact8 -> int1: あのぽちゃぽちゃLv.13は安いかまたは番うかあるいは両方である; int1 -> int2: とあるモンスターは安いかそれは番う; int2 & fact6 -> int3: あのみにみよLv.72は違い; int3 & fact1 -> hypothesis; __DISPROVED__
fact8 -> int1: ({A}{aa} v {B}{aa}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact6 -> int3: {C}{a}; int3 & fact1 -> hypothesis; __DISPROVED__