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