Bob is blue. Bob is cold. Bob is furry. Bob is not quiet. Bob is smart. Dave is green. Dave is not smart. Harry is blue. Harry is not green. Harry is quiet. Harry is red. Harry is smart. If something is blue and red then it is cold. If something is green and not quiet then it is cold. Red, green things are smart. If something is green then it is blue. If Bob is quiet and Bob is green then Bob is blue. Furry, red things are green.
Bob is smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not quiet.[(triple4)] Bob is smart.[(triple5)] Dave is green.[(triple6)] Dave is not smart.[(triple7)] Harry is blue.[(triple8)] Harry is not green.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)] @1: Dave is blue.[(((triple6) -> rule4))] Harry is cold.[(((triple8 triple11) -> rule1))]