Anne is red. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is young. Gary is green. Gary is nice. Harry is quiet. Harry is red. Harry is smart. If someone is red then they are smart. Smart people are young. If someone is smart and young then they are nice.
Gary is red.
@0: Anne is red.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple4) -> rule1))] Erin is young.[(triple7 OR ((triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Gary is green.[(triple8)] Gary is nice.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12 OR ((triple11) -> rule1))] @1: Anne is smart.[(((triple1) -> rule1))] Erin is nice.[(((triple6 triple7) -> rule3) OR ((triple6 ((triple6) -> rule2)) -> rule3) OR ((((triple4) -> rule1) triple7) -> rule3) OR ((((triple4) -> rule1) ((triple6) -> rule2)) -> rule3) OR ((triple6 ((((triple4) -> rule1)) -> rule2)) -> rule3) OR ((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule2)) -> rule3))] Harry is young.[(((triple12) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] @2: Anne is young.[(((((triple1) -> rule1)) -> rule2))] Harry is nice.[(((triple12 ((triple12) -> rule2)) -> rule3) OR ((((triple11) -> rule1) ((triple12) -> rule2)) -> rule3) OR ((triple12 ((((triple11) -> rule1)) -> rule2)) -> rule3) OR ((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule2)) -> rule3))] @3: Anne is nice.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule3))]