Anne is kind. Erin is furry. Gary is rough. Gary is smart. Harry is not green. Harry is smart. Harry is young. If someone is kind then they are big. All rough, young people are kind. If Gary is rough then Gary is young. If someone is furry then they are rough. Smart people are not green. If someone is furry and not kind then they are not green. If someone is green and furry then they are smart. All furry, big people are not smart.
Harry is not big.
@0: Anne is kind.[(triple1)] Erin is furry.[(triple2)] Gary is rough.[(triple3)] Gary is smart.[(triple4)] Harry is not green.[(triple5 OR ((triple6) -> rule5))] Harry is smart.[(triple6)] Harry is young.[(triple7)] @1: Anne is big.[(((triple1) -> rule1))] Erin is rough.[(((triple2) -> rule4))] Gary is not green.[(((triple4) -> rule5))] Gary is young.[(((triple3) -> rule3))] @2: Gary is kind.[(((triple3 ((triple3) -> rule3)) -> rule2))] @3: Gary is big.[(((((triple3 ((triple3) -> rule3)) -> rule2)) -> rule1))]