Charlie is cold. Charlie is green. Charlie is kind. Charlie is round. Charlie is not smart. Charlie is white. Charlie is young. Fiona is cold. Fiona is green. Fiona is not kind. Fiona is not round. Fiona is smart. Fiona is not white. Fiona is not young. If someone is kind then they are green. If Fiona is cold and Fiona is not white then Fiona is not young. If someone is white then they are cold.
Charlie is not green.
@0: Charlie is cold.[(triple1 OR ((triple6) -> rule3))] Charlie is green.[(triple2 OR ((triple3) -> rule1))] Charlie is kind.[(triple3)] Charlie is not smart.[(triple5)] Charlie is round.[(triple4)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is not kind.[(triple10)] Fiona is not round.[(triple11)] Fiona is not white.[(triple13)] Fiona is not young.[(triple14 OR ((triple8 triple13) -> rule2))] Fiona is smart.[(triple12)]