Anne is kind. Anne is red. Fiona is quiet. Gary is not nice. Gary is quiet. Gary is round. Harry is not red. All round people are young. If someone is quiet then they are smart. Red people are not smart. If someone is red and not quiet then they are nice. Nice people are kind. If someone is smart then they are round.
Harry is not red.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Fiona is quiet.[(triple3)] Gary is not nice.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6 OR ((((triple5) -> rule2)) -> rule6))] Harry is not red.[(triple7)] @1: Anne is not smart.[(((triple2) -> rule3))] Fiona is smart.[(((triple3) -> rule2))] Gary is smart.[(((triple5) -> rule2))] Gary is young.[(((triple6) -> rule1) OR ((((((triple5) -> rule2)) -> rule6)) -> rule1))] @2: Fiona is round.[(((((triple3) -> rule2)) -> rule6))] @3: Fiona is young.[(((((((triple3) -> rule2)) -> rule6)) -> rule1))]