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