Charlie is young. Erin is green. Erin is white. Gary is furry. Gary is green. Gary is red. Harry is green. Harry is quiet. Harry is red. Harry is round. Red things are furry. Green, red things are round. If Charlie is red and Charlie is green then Charlie is furry.
Harry is not quiet.
@0: Charlie is young.[(triple1)] Erin is green.[(triple2)] Erin is white.[(triple3)] Gary is furry.[(triple4 OR ((triple6) -> rule1))] Gary is green.[(triple5)] Gary is red.[(triple6)] Harry is green.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10 OR ((triple7 triple9) -> rule2))] @1: Gary is round.[(((triple5 triple6) -> rule2))] Harry is furry.[(((triple9) -> rule1))]