Charlie is big. Charlie is blue. Charlie is not quiet. Charlie is rough. Charlie is not round. Erin is not big. Erin is quiet. If something is rough and not round then it is big. If Charlie is not furry and Charlie is not big then Charlie is not red.
Charlie is blue.
@0: Charlie is big.[(triple1 OR ((triple4 triple5) -> rule1))] Charlie is blue.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not round.[(triple5)] Charlie is rough.[(triple4)] Erin is not big.[(triple6)] Erin is quiet.[(triple7)]