Bob is furry. Bob is not smart. Dave is blue. Dave is furry. Dave is rough. Dave is smart. Harry is cold. If someone is young and not smart then they are not blue. If someone is cold then they are kind. Blue people are cold.
Harry is not rough.
@0: Bob is furry.[(triple1)] Bob is not smart.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Harry is cold.[(triple7)] @1: Dave is cold.[(((triple3) -> rule3))] Harry is kind.[(((triple7) -> rule2))] @2: Dave is kind.[(((((triple3) -> rule3)) -> rule2))]