Charlie is quiet. Charlie is white. Charlie is young. Dave is cold. Dave is not quiet. Dave is red. Dave is young. Fiona is big. Fiona is cold. Fiona is red. Fiona is white. Fiona is not young. Gary is not big. Gary is quiet. Gary is not white. If Dave is not red and Dave is not quiet then Dave is cold. Cold, quiet people are nice. All big people are not nice. If Dave is big then Dave is not nice. If Fiona is cold then Fiona is red. If Gary is young and Gary is not quiet then Gary is red. All nice people are big. If Dave is not red and Dave is not cold then Dave is white.
Fiona is not young.
@0: Charlie is quiet.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Dave is cold.[(triple4)] Dave is not quiet.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is not young.[(triple12)] Fiona is red.[(triple10 OR ((triple9) -> rule5))] Fiona is white.[(triple11)] Gary is not big.[(triple13)] Gary is not white.[(triple15)] Gary is quiet.[(triple14)] @1: Fiona is not nice.[(((triple8) -> rule3))]