Anne is red. Anne is rough. Bob is nice. Bob is rough. Erin is young. Gary is red. Gary is young. All rough people are big. If someone is rough and big then they are kind. Young people are green. If Bob is nice and Bob is green then Bob is kind. If Anne is young and Anne is red then Anne is kind. Nice people are rough.
Erin is kind.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule6))] Erin is young.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7)] @1: Anne is big.[(((triple2) -> rule1))] Bob is big.[(((triple4) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] Erin is green.[(((triple5) -> rule3))] Gary is green.[(((triple7) -> rule3))] @2: Anne is kind.[(((triple2 ((triple2) -> rule1)) -> rule2))] Bob is kind.[(((triple4 ((triple4) -> rule1)) -> rule2) OR ((((triple3) -> rule6) ((triple4) -> rule1)) -> rule2) OR ((triple4 ((((triple3) -> rule6)) -> rule1)) -> rule2) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule1)) -> rule2))]