Bob is kind. Erin is furry. Gary is furry. Harry is smart. If something is white then it is blue. Kind things are smart. If something is young then it is blue.
Bob is not kind.
@0: Bob is kind.[(triple1)] Erin is furry.[(triple2)] Gary is furry.[(triple3)] Harry is smart.[(triple4)] @1: Bob is smart.[(((triple1) -> rule2))]