Anne is not big. Anne is furry. Anne is not quiet. Charlie is big. Charlie is green. Charlie is quiet. Erin is nice. Gary is furry. Gary is not green. Gary is nice. All nice things are furry. If something is white and not red then it is nice.
Erin is big.
@0: Anne is furry.[(triple2)] Anne is not big.[(triple1)] Anne is not quiet.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6)] Erin is nice.[(triple7)] Gary is furry.[(triple8 OR ((triple10) -> rule1))] Gary is nice.[(triple10)] Gary is not green.[(triple9)] @1: Erin is furry.[(((triple7) -> rule1))]