Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is smart. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is smart. If something is blue then it is kind.
Fiona is not blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4 OR ((triple1) -> rule1))] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is smart.[(triple12)]