Dave is furry. Fiona is cold. Fiona is not furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is young. Gary is cold. Gary is furry. Gary is not kind. Gary is white. Gary is young. If Gary is cold then Gary is not red. If Gary is not kind and Gary is not young then Gary is not red. All cold people are white.
Dave is not furry.
@0: Dave is furry.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple4)] Fiona is not furry.[(triple3)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is not kind.[(triple10)] Gary is white.[(triple11 OR ((triple8) -> rule3))] Gary is young.[(triple12)] @1: Fiona is white.[(((triple2) -> rule3))] Gary is not red.[(((triple8) -> rule1))]