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