Anne is furry. Anne is round. Charlie is not blue. Charlie is cold. Charlie is kind. Gary is young. Harry is not blue. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is young. All round, young people are cold. All round, cold people are not rough. If someone is blue and not furry then they are rough. Young, round people are kind. If someone is furry and not blue then they are kind. If someone is round then they are young.
Harry is round.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is not blue.[(triple3)] Gary is young.[(triple6)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10 OR ((triple9 triple7) -> rule5))] Harry is not blue.[(triple7)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Anne is young.[(((triple2) -> rule6))] @2: Anne is cold.[(((triple2 ((triple2) -> rule6)) -> rule1))] Anne is kind.[(((((triple2) -> rule6) triple2) -> rule4))] @3: Anne is not rough.[(((triple2 ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule2))]