Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is white. Fiona is white. Young things are red. If Anne is red then Anne is young. If something is nice then it is round. If something is red then it is young. If Fiona is white and Fiona is kind then Fiona is nice. If something is cold then it is red.
Anne is not round.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple1) -> rule6))] Anne is round.[(triple5 OR ((triple3) -> rule3))] Anne is white.[(triple6)] Fiona is white.[(triple7)] @1: Anne is young.[(((triple4) -> rule2) OR ((triple4) -> rule4) OR ((((triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule6)) -> rule4))]