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