Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. Erin is quiet. Erin is round. Erin is smart. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is young. All kind things are red. If Erin is smart then Erin is furry. All red, quiet things are young. If Gary is young then Gary is quiet. Quiet things are kind. Smart things are round.
Erin is not red.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2 OR ((triple3) -> rule5))] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is young.[(triple5 OR ((((triple2) -> rule1) triple3) -> rule3) OR ((((((triple3) -> rule5)) -> rule1) triple3) -> rule3))] Erin is quiet.[(triple6)] Erin is round.[(triple7 OR ((triple8) -> rule6))] Erin is smart.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10 OR ((triple11) -> rule5) OR ((((triple15) -> rule4)) -> rule5))] Gary is quiet.[(triple11 OR ((triple15) -> rule4))] Gary is red.[(triple12 OR ((triple10) -> rule1) OR ((((triple11) -> rule5)) -> rule1) OR ((((((triple15) -> rule4)) -> rule5)) -> rule1))] Gary is round.[(triple13 OR ((triple14) -> rule6))] Gary is smart.[(triple14)] Gary is young.[(triple15 OR ((triple12 triple11) -> rule3) OR ((((triple10) -> rule1) triple11) -> rule3) OR ((((((triple11) -> rule5)) -> rule1) triple11) -> rule3))] @1: Charlie is red.[(((triple2) -> rule1) OR ((((triple3) -> rule5)) -> rule1))] Charlie is round.[(((triple4) -> rule6))] Erin is furry.[(((triple8) -> rule2))] Erin is kind.[(((triple6) -> rule5))] @2: Erin is red.[(((((triple6) -> rule5)) -> rule1))] @3: Erin is young.[(((((((triple6) -> rule5)) -> rule1) triple6) -> rule3))]