Anne is kind. Anne is not quiet. Anne is round. Anne is smart. Gary is rough. Gary is round. Gary is smart. All rough people are quiet. All green people are round. Red people are round. If Gary is round and Gary is quiet then Gary is not red. If Anne is red then Anne is kind. If someone is kind then they are smart. Rough people are smart. If someone is rough and not red then they are kind.
Gary is not quiet.
@0: Anne is kind.[(triple1)] Anne is not quiet.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple1) -> rule6))] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((triple5) -> rule7) OR ((((triple5 ((triple6 ((triple5) -> rule1)) -> rule4)) -> rule8)) -> rule6))] @1: Gary is quiet.[(((triple5) -> rule1))] @2: Gary is not red.[(((triple6 ((triple5) -> rule1)) -> rule4))] @3: Gary is kind.[(((triple5 ((triple6 ((triple5) -> rule1)) -> rule4)) -> rule8))]