Charlie is red. Charlie is smart. Charlie is young. Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is smart. Dave is young. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. All young, cold people are red. If someone is white then they are red. All kind, nice people are white.
Dave is not red.
@0: Charlie is red.[(triple1)] Charlie is smart.[(triple2)] Charlie is young.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is red.[(triple7 OR ((triple9 triple4) -> rule1) OR ((((triple5 triple6) -> rule3)) -> rule2))] Dave is smart.[(triple8)] Dave is young.[(triple9)] Fiona is cold.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Fiona is red.[(triple13 OR ((triple15) -> rule2) OR ((triple16 triple10) -> rule1) OR ((((triple11 triple12) -> rule3)) -> rule2))] Fiona is smart.[(triple14)] Fiona is white.[(triple15 OR ((triple11 triple12) -> rule3))] Fiona is young.[(triple16)] @1: Dave is white.[(((triple5 triple6) -> rule3))]