Anne is furry. Charlie is big. Charlie is round. Charlie is smart. Dave is red. Harry is big. Harry is smart. Big things are blue. Furry things are smart. If something is round and big then it is smart. If something is round then it is cold. All cold things are blue. All cold, red things are big. If Charlie is big and Charlie is furry then Charlie is blue. Furry things are round.
Dave is not smart.
@0: Anne is furry.[(triple1)] Charlie is big.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4 OR ((triple3 triple2) -> rule3))] Dave is red.[(triple5)] Harry is big.[(triple6)] Harry is smart.[(triple7)] @1: Anne is round.[(((triple1) -> rule8))] Anne is smart.[(((triple1) -> rule2))] Charlie is blue.[(((triple2) -> rule1) OR ((((triple3) -> rule4)) -> rule5))] Charlie is cold.[(((triple3) -> rule4))] Harry is blue.[(((triple6) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule8)) -> rule4))] @3: Anne is blue.[(((((((triple1) -> rule8)) -> rule4)) -> rule5))]