Bob is furry. Bob is kind. Bob is smart. Bob is young. Dave is cold. Dave is not kind. Dave is nice. Dave is round. Gary is not kind. Gary is smart. Gary is not young. Harry is nice. All kind people are cold.
Bob is cold.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple7)] Dave is not kind.[(triple6)] Dave is round.[(triple8)] Gary is not kind.[(triple9)] Gary is not young.[(triple11)] Gary is smart.[(triple10)] Harry is nice.[(triple12)] @1: Bob is cold.[(((triple2) -> rule1))]