Anne is blue. Anne is round. Charlie is blue. Charlie is cold. Charlie is round. Charlie is smart. Fiona is smart. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is round. All round, blue people are smart. If Harry is quiet then Harry is nice. All round people are quiet. If someone is nice then they are quiet. Quiet, kind people are round. All cold people are smart.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple4) -> rule6) OR ((triple5 triple3) -> rule1))] Fiona is smart.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10 OR ((triple11) -> rule2) OR ((((triple12) -> rule3)) -> rule2))] Harry is quiet.[(triple11 OR ((triple10) -> rule4) OR ((triple12) -> rule3))] Harry is round.[(triple12 OR ((triple11 triple9) -> rule5) OR ((((triple10) -> rule4) triple9) -> rule5))] @1: Anne is quiet.[(((triple2) -> rule3))] Anne is smart.[(((triple2 triple1) -> rule1))] Charlie is quiet.[(((triple5) -> rule3))] Harry is smart.[(((triple8) -> rule6))]