「あのぽくぽよLv.17は悪い」ということは確かだ
fact1: もし仮にあのぽくぽよLv.17は生まれ始めるかまたは冷笑するなら「あのぽくぽよLv.17は悪いということはない」ということは成り立つ fact2: あのぽくぽよLv.17は丸っこくない fact3: もしも「そのみねみちゃLv.96は悪くない」ということは成り立たないとすればあのぽくぽよLv.17は悪い fact4: もしあのぽくぽよLv.17が丸っこくないとするとあのぽくぽよLv.17は観光客らしい fact5: あのぽくぽよLv.17が丸っこくないならあのぽくぽよLv.17は冷笑するしおまけに観光客らしい
fact2 & fact5 -> int1: あのぽくぽよLv.17は冷笑するしさらに観光客らしい; int1 -> int2: あのぽくぽよLv.17は冷笑する; int2 -> int3: あのぽくぽよLv.17は生まれ始めるかまたはそれは冷笑するかまたは両方ともである; int3 & fact1 -> hypothesis;
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 -> int3: ({C}{a} v {A}{a}); int3 & fact1 -> hypothesis;
「あのぽくぽよLv.17は悪い」ということは確かだ
$facts$ = fact1: もし仮にあのぽくぽよLv.17は生まれ始めるかまたは冷笑するなら「あのぽくぽよLv.17は悪いということはない」ということは成り立つ fact2: あのぽくぽよLv.17は丸っこくない fact3: もしも「そのみねみちゃLv.96は悪くない」ということは成り立たないとすればあのぽくぽよLv.17は悪い fact4: もしあのぽくぽよLv.17が丸っこくないとするとあのぽくぽよLv.17は観光客らしい fact5: あのぽくぽよLv.17が丸っこくないならあのぽくぽよLv.17は冷笑するしおまけに観光客らしい ; $hypothesis$ = 「あのぽくぽよLv.17は悪い」ということは確かだ ; $proof$ = 
fact2 & fact5 -> int1: あのぽくぽよLv.17は冷笑するしさらに観光客らしい; int1 -> int2: あのぽくぽよLv.17は冷笑する; int2 -> int3: あのぽくぽよLv.17は生まれ始めるかまたはそれは冷笑するかまたは両方ともである; int3 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 -> int3: ({C}{a} v {A}{a}); int3 & fact1 -> hypothesis; __DISPROVED__