Charlie is big. Charlie is kind. Charlie is not quiet. Charlie is red. Charlie is not round. Charlie is young. Erin is quiet. Erin is red. Erin is round. Gary is big. Gary is kind. Gary is young. If something is round and quiet then it is young. If Gary is kind then Gary is not red. If Gary is red and Gary is big then Gary is young. Round things are quiet. Red things are kind. If something is furry and quiet then it is big. Kind things are furry. If Erin is round and Erin is not quiet then Erin is big.
Erin is not big.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2 OR ((triple4) -> rule5))] Charlie is not quiet.[(triple3)] Charlie is not round.[(triple5)] Charlie is red.[(triple4)] Charlie is young.[(triple6)] Erin is quiet.[(triple7 OR ((triple9) -> rule4))] Erin is red.[(triple8)] Erin is round.[(triple9)] Gary is big.[(triple10)] Gary is kind.[(triple11)] Gary is young.[(triple12)] @1: Charlie is furry.[(((triple2) -> rule7) OR ((((triple4) -> rule5)) -> rule7))] Erin is kind.[(((triple8) -> rule5))] Erin is young.[(((triple9 triple7) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule1))] Gary is furry.[(((triple11) -> rule7))] Gary is not red.[(((triple11) -> rule2))] @2: Erin is furry.[(((((triple8) -> rule5)) -> rule7))] @3: Erin is big.[(((((((triple8) -> rule5)) -> rule7) triple7) -> rule6) OR ((((((triple8) -> rule5)) -> rule7) ((triple9) -> rule4)) -> rule6))]