Charlie is rough. Erin is rough. Gary is quiet. If someone is round and furry then they are red. If someone is furry and quiet then they are round. If someone is red then they are rough. Rough people are quiet. If Gary is rough then Gary is round. If someone is quiet then they are furry.
Gary is not quiet.
@0: Charlie is rough.[(triple1)] Erin is rough.[(triple2)] Gary is quiet.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule4))] Erin is quiet.[(((triple2) -> rule4))] Gary is furry.[(((triple3) -> rule6))] @2: Charlie is furry.[(((((triple1) -> rule4)) -> rule6))] Erin is furry.[(((((triple2) -> rule4)) -> rule6))] Gary is round.[(((((triple3) -> rule6) triple3) -> rule2))] @3: Charlie is round.[(((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule2))] Erin is round.[(((((((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule2))] Gary is red.[(((((((triple3) -> rule6) triple3) -> rule2) ((triple3) -> rule6)) -> rule1))] @4: Charlie is red.[(((((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule2) ((((triple1) -> rule4)) -> rule6)) -> rule1))] Erin is red.[(((((((((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule2) ((((triple2) -> rule4)) -> rule6)) -> rule1))] Gary is rough.[(((((((((triple3) -> rule6) triple3) -> rule2) ((triple3) -> rule6)) -> rule1)) -> rule3))]