Anne is red. Bob is quiet. Bob is red. Bob is not smart. Charlie is blue. Charlie is round. Harry is big. Harry is blue. Harry is quiet. Harry is red. All blue, red things are round. Quiet, big things are round. All quiet, blue things are cold. If something is blue and not red then it is cold. If Charlie is cold and Charlie is red then Charlie is big. All cold things are quiet. Big, smart things are blue. If Anne is not blue then Anne is round.
Bob is smart.
@0: Anne is red.[(triple1)] Bob is not smart.[(triple4)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Charlie is blue.[(triple5)] Charlie is round.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Harry is cold.[(((triple9 triple8) -> rule3))] Harry is round.[(((triple8 triple10) -> rule1) OR ((triple9 triple7) -> rule2))]