あのぽちゃぽのLv.18は礼儀正しくない
fact1: もしもあのぽちゃぽのLv.18が通じ難いとしたらあのぽちゃぽのLv.18は刺々しい fact2: もし仮にあのぽちゃぽのLv.18が其れっぽくないとすると通じ難くて更にえげつない fact3: あのぽちゃぽのLv.18は其れっぽくない fact4: 仮にあのぽちゃぽのLv.18が刺々しいとすればそれは礼儀正しい
fact3 & fact2 -> int1: あのぽちゃぽのLv.18は通じ難いししかもえげつない; int1 -> int2: 「あのぽちゃぽのLv.18は通じ難い」ということは正しい; int2 & fact1 -> int3: あのぽちゃぽのLv.18は刺々しい; int3 & fact4 -> hypothesis;
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: もしもあのぽちゃぽのLv.18が通じ難いとしたらあのぽちゃぽのLv.18は刺々しい fact2: もし仮にあのぽちゃぽのLv.18が其れっぽくないとすると通じ難くて更にえげつない fact3: あのぽちゃぽのLv.18は其れっぽくない fact4: 仮にあのぽちゃぽのLv.18が刺々しいとすればそれは礼儀正しい ; $hypothesis$ = あのぽちゃぽのLv.18は礼儀正しくない ; $proof$ = 
fact3 & fact2 -> int1: あのぽちゃぽのLv.18は通じ難いししかもえげつない; int1 -> int2: 「あのぽちゃぽのLv.18は通じ難い」ということは正しい; int2 & fact1 -> int3: あのぽちゃぽのLv.18は刺々しい; int3 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact4 -> hypothesis; __DISPROVED__