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