Anne is furry. Bob is cold. Bob is kind. Bob is smart. Bob is white. Dave is furry. Dave is kind. Dave is white. Dave is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is smart. Fiona is white. Fiona is young. Kind people are blue. Kind, smart people are furry. If someone is young and cold then they are white.
Fiona is not cold.
@0: Anne is furry.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14 OR ((triple15 triple11) -> rule3))] Fiona is young.[(triple15)] @1: Bob is blue.[(((triple3) -> rule1))] Bob is furry.[(((triple3 triple4) -> rule2))] Dave is blue.[(((triple7) -> rule1))]