「そのぽのぽちょLv.22は赤っぽい一方で懸濁しない」ということは偽だ
fact1: もし仮にこのまえまえLv.29が伴奏するしかつ著しいならばこのみえみちょLv.82は赤っぽいということはない fact2: そのぽのぽちょLv.22が懸濁するとすればそれは著しい fact3: もし仮に何らかのモンスターは突き破らないとしたら「それは赤っぽいがしかし懸濁しない」ということは成り立たない fact4: もしこのまえまえLv.29が突き破るならこのまえまえLv.29は著しい fact5: このまえまえLv.29は伴奏する fact6: もし仮に「このみえみちょLv.82は赤っぽくない」ということは真実だとするとそのぽのぽちょLv.22は赤っぽいがしかし懸濁しない fact7: 「このまえまえLv.29は突き破るし更にスタンバイする」ということは成り立つ
fact7 -> int1: このまえまえLv.29は突き破る; int1 & fact4 -> int2: このまえまえLv.29は著しい; int2 & fact5 -> int3: このまえまえLv.29は伴奏するしかつそれは著しい; int3 & fact1 -> int4: このみえみちょLv.82は赤っぽくない; int4 & fact6 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: ({D}{a} & {C}{a}); int3 & fact1 -> int4: ¬{E}{b}; int4 & fact6 -> hypothesis;
「そのぽのぽちょLv.22は赤っぽい一方で懸濁しない」ということは偽だ
fact8 -> int5: そのぽのぽちょLv.22は突き破らないとすると「赤っぽいが懸濁しない」ということは成り立たない;
$facts$ = fact1: もし仮にこのまえまえLv.29が伴奏するしかつ著しいならばこのみえみちょLv.82は赤っぽいということはない fact2: そのぽのぽちょLv.22が懸濁するとすればそれは著しい fact3: もし仮に何らかのモンスターは突き破らないとしたら「それは赤っぽいがしかし懸濁しない」ということは成り立たない fact4: もしこのまえまえLv.29が突き破るならこのまえまえLv.29は著しい fact5: このまえまえLv.29は伴奏する fact6: もし仮に「このみえみちょLv.82は赤っぽくない」ということは真実だとするとそのぽのぽちょLv.22は赤っぽいがしかし懸濁しない fact7: 「このまえまえLv.29は突き破るし更にスタンバイする」ということは成り立つ ; $hypothesis$ = 「そのぽのぽちょLv.22は赤っぽい一方で懸濁しない」ということは偽だ ; $proof$ = 
fact7 -> int1: このまえまえLv.29は突き破る; int1 & fact4 -> int2: このまえまえLv.29は著しい; int2 & fact5 -> int3: このまえまえLv.29は伴奏するしかつそれは著しい; int3 & fact1 -> int4: このみえみちょLv.82は赤っぽくない; int4 & fact6 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: ({D}{a} & {C}{a}); int3 & fact1 -> int4: ¬{E}{b}; int4 & fact6 -> hypothesis; __DISPROVED__