Bob is cold. Bob is nice. Bob is white. Bob is young. Charlie is furry. Charlie is nice. Charlie is white. Dave is furry. Dave is kind. Dave is smart. Harry is white. Harry is young. All cold things are smart. If something is white then it is kind.
Charlie is not nice.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is white.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is smart.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Bob is kind.[(((triple3) -> rule2))] Bob is smart.[(((triple1) -> rule1))] Charlie is kind.[(((triple7) -> rule2))] Harry is kind.[(((triple11) -> rule2))]