Charlie is cold. Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is young. Dave is cold. Dave is green. Dave is quiet. Dave is young. Fiona is cold. Fiona is quiet. Fiona is young. If someone is quiet then they are not white. If Dave is white and Dave is cold then Dave is quiet. All green people are blue. If someone is cold and young then they are blue. If Fiona is quiet and Fiona is not green then Fiona is not cold. If someone is nice and cold then they are quiet.
Fiona is nice.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is not nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is quiet.[(triple8)] Dave is young.[(triple9)] Fiona is cold.[(triple10)] Fiona is quiet.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is blue.[(((triple2) -> rule3) OR ((triple1 triple5) -> rule4))] Charlie is not white.[(((triple4) -> rule1))] Dave is blue.[(((triple7) -> rule3) OR ((triple6 triple9) -> rule4))] Dave is not white.[(((triple8) -> rule1))] Fiona is blue.[(((triple10 triple12) -> rule4))] Fiona is not white.[(((triple11) -> rule1))]