Anne is not big. Anne is cold. Anne is not red. Anne is white. Dave is big. Dave is blue. Dave is cold. Dave is not quiet. Dave is red. Dave is white. Fiona is green. Fiona is quiet. Gary is cold. Gary is green. Gary is quiet. Gary is white. If Gary is white and Gary is green then Gary is quiet. All big people are white. If Gary is blue and Gary is not quiet then Gary is not cold.
Dave is quiet.
@0: Anne is cold.[(triple2)] Anne is not big.[(triple1)] Anne is not red.[(triple3)] Anne is white.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is not quiet.[(triple8)] Dave is red.[(triple9)] Dave is white.[(triple10 OR ((triple5) -> rule2))] Fiona is green.[(triple11)] Fiona is quiet.[(triple12)] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is quiet.[(triple15 OR ((triple16 triple14) -> rule1))] Gary is white.[(triple16)]