Anne is cold. Anne is round. Anne is not smart. Gary is not big. Gary is blue. Gary is nice. Harry is round. Quiet people are big. If Anne is nice then Anne is not big. If someone is nice and not blue then they are smart. Nice, quiet people are smart. All cold, blue people are smart. If someone is round then they are cold. If someone is big then they are round. If someone is blue and not big then they are round.
Harry is not smart.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule6))] Anne is not smart.[(triple3)] Anne is round.[(triple2)] Gary is blue.[(triple5)] Gary is nice.[(triple6)] Gary is not big.[(triple4)] Harry is round.[(triple7)] @1: Gary is round.[(((triple5 triple4) -> rule8))] Harry is cold.[(((triple7) -> rule6))] @2: Gary is cold.[(((((triple5 triple4) -> rule8)) -> rule6))] @3: Gary is smart.[(((((((triple5 triple4) -> rule8)) -> rule6) triple5) -> rule5))]