Dave is cold. Dave is kind. Dave is nice. Dave is white. Fiona is cold. Fiona is kind. Fiona is white. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is white. If something is cold then it is nice. Furry, smart things are nice.
Fiona is kind.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple1) -> rule1))] Dave is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Fiona is white.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Fiona is nice.[(((triple5) -> rule1))]