Fiona is cold. Fiona is nice. Fiona is white. Fiona is young. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is young. If something is nice and white then it is red. If Harry is blue and Harry is cold then Harry is green.
Fiona is not green.
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is white.[(triple3)] Fiona is young.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6)] Harry is green.[(triple7 OR ((triple5 triple6) -> rule2))] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is young.[(triple10)] @1: Fiona is red.[(((triple2 triple3) -> rule1))]