Erin is furry. Erin is quiet. Gary is round. Gary is white. Gary is young. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is round. Round people are white. Red, white people are young. All red people are quiet. All furry people are green. Young, quiet people are red. All quiet, green people are young.
Gary is quiet.
@0: Erin is furry.[(triple1)] Erin is quiet.[(triple2)] Gary is round.[(triple3)] Gary is white.[(triple4 OR ((triple3) -> rule1))] Gary is young.[(triple5)] Harry is furry.[(triple6)] Harry is green.[(triple7 OR ((triple6) -> rule4))] Harry is quiet.[(triple8 OR ((triple9) -> rule3))] Harry is red.[(triple9 OR ((((triple8 triple7) -> rule6) triple8) -> rule5) OR ((((triple8 ((triple6) -> rule4)) -> rule6) triple8) -> rule5))] Harry is round.[(triple10)] @1: Erin is green.[(((triple1) -> rule4))] Harry is white.[(((triple10) -> rule1))] Harry is young.[(((triple8 triple7) -> rule6) OR ((triple8 ((triple6) -> rule4)) -> rule6) OR ((triple9 ((triple10) -> rule1)) -> rule2) OR ((((triple9) -> rule3) triple7) -> rule6) OR ((((triple9) -> rule3) ((triple6) -> rule4)) -> rule6))] @2: Erin is young.[(((triple2 ((triple1) -> rule4)) -> rule6))] @3: Erin is red.[(((((triple2 ((triple1) -> rule4)) -> rule6) triple2) -> rule5))]