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