Bob is cold. Bob is not furry. Bob is not kind. Bob is red. Bob is smart. Charlie is blue. Charlie is nice. Dave is blue. Dave is kind. Dave is not red. Dave is smart. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is red. If someone is nice and kind then they are furry.
Dave is furry.
@0: Bob is cold.[(triple1)] Bob is not furry.[(triple2)] Bob is not kind.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Charlie is blue.[(triple6)] Charlie is nice.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9)] Dave is not red.[(triple10)] Dave is smart.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] Gary is red.[(triple16)] @1: Gary is furry.[(((triple15 triple14) -> rule1))]