Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Erin is quiet. Gary is furry. Gary is green. Gary is kind. Harry is furry. Harry is kind. All kind people are quiet. All quiet people are young. Kind people are green. All quiet, rough people are smart. Rough people are kind. If Harry is quiet and Harry is smart then Harry is green.
Charlie is furry.
@0: Charlie is kind.[(triple1 OR ((triple3) -> rule5))] Charlie is quiet.[(triple2 OR ((triple1) -> rule1) OR ((((triple3) -> rule5)) -> rule1))] Charlie is rough.[(triple3)] Charlie is smart.[(triple4 OR ((triple2 triple3) -> rule4) OR ((((triple1) -> rule1) triple3) -> rule4) OR ((((((triple3) -> rule5)) -> rule1) triple3) -> rule4))] Erin is quiet.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7 OR ((triple8) -> rule3))] Gary is kind.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10)] @1: Charlie is green.[(((triple1) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] Charlie is young.[(((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2) OR ((((((triple3) -> rule5)) -> rule1)) -> rule2))] Erin is young.[(((triple5) -> rule2))] Gary is quiet.[(((triple8) -> rule1))] Harry is green.[(((triple10) -> rule3))] Harry is quiet.[(((triple10) -> rule1))] @2: Gary is young.[(((((triple8) -> rule1)) -> rule2))] Harry is young.[(((((triple10) -> rule1)) -> rule2))]