Bob is blue. Bob is round. Bob is not smart. Charlie is not smart. Dave is round. Harry is big. Harry is smart. Round, blue things are not red. If something is furry and round then it is cold. Smart things are furry. Cold, round things are smart. All cold things are blue. Furry, big things are round.
Charlie is not round.
@0: Bob is blue.[(triple1)] Bob is not smart.[(triple3)] Bob is round.[(triple2)] Charlie is not smart.[(triple4)] Dave is round.[(triple5)] Harry is big.[(triple6)] Harry is smart.[(triple7)] @1: Bob is not red.[(((triple2 triple1) -> rule1))] Harry is furry.[(((triple7) -> rule3))] @2: Harry is round.[(((((triple7) -> rule3) triple6) -> rule6))] @3: Harry is cold.[(((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule6)) -> rule2))] @4: Harry is blue.[(((((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule6)) -> rule2)) -> rule5))] @5: Harry is not red.[(((((((triple7) -> rule3) triple6) -> rule6) ((((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule6)) -> rule2)) -> rule5)) -> rule1))]