Bob is smart. Dave is cold. Dave is young. Fiona is cold. Fiona is furry. Fiona is not red. Fiona is not smart. Fiona is young. Gary is red. Gary is young. If Bob is furry then Bob is not red. All smart people are white.
Bob is furry.
@0: Bob is smart.[(triple1)] Dave is cold.[(triple2)] Dave is young.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is not red.[(triple6)] Fiona is not smart.[(triple7)] Fiona is young.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Bob is white.[(((triple1) -> rule2))]