Dave is not big. Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is young. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. Gary is not cold. Gary is not red. Gary is white. Gary is young. All red things are cold. All big, green things are white. All young things are white.
Fiona is not cold.
@0: Dave is cold.[(triple2 OR ((triple5) -> rule1))] Dave is green.[(triple3)] Dave is not big.[(triple1)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is young.[(triple6)] Fiona is cold.[(triple7 OR ((triple10) -> rule1))] Fiona is green.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is white.[(triple11 OR ((triple12) -> rule3))] Fiona is young.[(triple12)] Gary is not cold.[(triple13)] Gary is not red.[(triple14)] Gary is white.[(triple15 OR ((triple16) -> rule3))] Gary is young.[(triple16)] @1: Dave is white.[(((triple6) -> rule3))]