Anne is furry. Anne is green. Anne is rough. Gary is furry. Gary is not kind. Gary is red. Gary is rough. Harry is not furry. Harry is red. Harry is rough. If someone is green then they are furry. All rough people are not kind. If someone is kind and furry then they are rough. If Harry is green and Harry is kind then Harry is not furry. If someone is rough and not kind then they are not cold. If Harry is cold and Harry is rough then Harry is young.
Harry is not young.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule1))] Anne is green.[(triple2)] Anne is rough.[(triple3)] Gary is furry.[(triple4)] Gary is not kind.[(triple5 OR ((triple7) -> rule2))] Gary is red.[(triple6)] Gary is rough.[(triple7)] Harry is not furry.[(triple8)] Harry is red.[(triple9)] Harry is rough.[(triple10)] @1: Anne is not kind.[(((triple3) -> rule2))] Gary is not cold.[(((triple7 triple5) -> rule5) OR ((triple7 ((triple7) -> rule2)) -> rule5))] Harry is not kind.[(((triple10) -> rule2))] @2: Anne is not cold.[(((triple3 ((triple3) -> rule2)) -> rule5))] Harry is not cold.[(((triple10 ((triple10) -> rule2)) -> rule5))]