Anne is cold. Anne is kind. Anne is white. Bob is not cold. Bob is green. Bob is not round. Bob is young. Charlie is cold. Charlie is not round. Charlie is white. Charlie is young. Fiona is cold. Fiona is quiet. Fiona is round. Fiona is white. All quiet things are not green. All round, young things are green. If Charlie is white and Charlie is kind then Charlie is green. Quiet things are white. If something is quiet and round then it is not kind. If Bob is not kind then Bob is green.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Bob is green.[(triple5)] Bob is not cold.[(triple4)] Bob is not round.[(triple6)] Bob is young.[(triple7)] Charlie is cold.[(triple8)] Charlie is not round.[(triple9)] Charlie is white.[(triple10)] Charlie is young.[(triple11)] Fiona is cold.[(triple12)] Fiona is quiet.[(triple13)] Fiona is round.[(triple14)] Fiona is white.[(triple15 OR ((triple13) -> rule4))] @1: Fiona is not green.[(((triple13) -> rule1))] Fiona is not kind.[(((triple13 triple14) -> rule5))]