Charlie is furry. Charlie is kind. Charlie is young. Gary is blue. Gary is green. Gary is nice. Gary is young. Harry is blue. Harry is nice. Harry is young. If something is green and nice then it is round. Furry, kind things are nice. Round, nice things are green. Round things are kind. If something is young and nice then it is green. If something is blue and round then it is nice. All furry things are blue. Nice, kind things are green.
Harry is round.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is young.[(triple3)] Gary is blue.[(triple4)] Gary is green.[(triple5 OR ((triple7 triple6) -> rule5))] Gary is nice.[(triple6)] Gary is young.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is young.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule7))] Charlie is nice.[(((triple1 triple2) -> rule2))] Gary is round.[(((triple5 triple6) -> rule1) OR ((((triple7 triple6) -> rule5) triple6) -> rule1))] Harry is green.[(((triple10 triple9) -> rule5))] @2: Charlie is green.[(((triple3 ((triple1 triple2) -> rule2)) -> rule5) OR ((((triple1 triple2) -> rule2) triple2) -> rule8))] Gary is kind.[(((((triple5 triple6) -> rule1)) -> rule4) OR ((((((triple7 triple6) -> rule5) triple6) -> rule1)) -> rule4))] Harry is round.[(((((triple10 triple9) -> rule5) triple9) -> rule1))] @3: Charlie is round.[(((((triple3 ((triple1 triple2) -> rule2)) -> rule5) ((triple1 triple2) -> rule2)) -> rule1) OR ((((((triple1 triple2) -> rule2) triple2) -> rule8) ((triple1 triple2) -> rule2)) -> rule1))] Harry is kind.[(((((((triple10 triple9) -> rule5) triple9) -> rule1)) -> rule4))]