Anne is cold. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is young. Gary is cold. Gary is quiet. Gary is rough. Gary is young. Harry is red. Harry is rough. If Harry is rough and Harry is young then Harry is cold. Round people are kind. If someone is round and kind then they are rough. If someone is red and rough then they are quiet. If someone is kind and rough then they are quiet. All young people are red.
Gary is round.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2 OR ((triple3 triple4) -> rule4) OR ((((triple5) -> rule2) triple4) -> rule5) OR ((((triple6) -> rule6) triple4) -> rule4) OR ((triple3 ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule4))] Anne is red.[(triple3 OR ((triple6) -> rule6))] Anne is rough.[(triple4 OR ((triple5 ((triple5) -> rule2)) -> rule3))] Anne is round.[(triple5)] Anne is young.[(triple6)] Gary is cold.[(triple7)] Gary is quiet.[(triple8 OR ((((triple10) -> rule6) triple9) -> rule4))] Gary is rough.[(triple9)] Gary is young.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Anne is kind.[(((triple5) -> rule2))] Gary is red.[(((triple10) -> rule6))] Harry is quiet.[(((triple11 triple12) -> rule4))]