Bob is nice. Erin is round. Gary is young. Harry is young. Kind things are green. If something is kind then it is rough. If something is furry then it is rough. Round things are kind. All round things are nice. Young things are round.
Harry is kind.
@0: Bob is nice.[(triple1)] Erin is round.[(triple2)] Gary is young.[(triple3)] Harry is young.[(triple4)] @1: Erin is kind.[(((triple2) -> rule4))] Erin is nice.[(((triple2) -> rule5))] Gary is round.[(((triple3) -> rule6))] Harry is round.[(((triple4) -> rule6))] @2: Erin is green.[(((((triple2) -> rule4)) -> rule1))] Erin is rough.[(((((triple2) -> rule4)) -> rule2))] Gary is kind.[(((((triple3) -> rule6)) -> rule4))] Gary is nice.[(((((triple3) -> rule6)) -> rule5))] Harry is kind.[(((((triple4) -> rule6)) -> rule4))] Harry is nice.[(((((triple4) -> rule6)) -> rule5))] @3: Gary is green.[(((((((triple3) -> rule6)) -> rule4)) -> rule1))] Gary is rough.[(((((((triple3) -> rule6)) -> rule4)) -> rule2))] Harry is green.[(((((((triple4) -> rule6)) -> rule4)) -> rule1))] Harry is rough.[(((((((triple4) -> rule6)) -> rule4)) -> rule2))]