Anne is blue. Anne is cold. Dave is green. Dave is kind. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. Gary is kind. All green people are red. Young people are rough. If Fiona is rough then Fiona is green.
Fiona is not red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7 OR ((triple10) -> rule3) OR ((((triple11) -> rule2)) -> rule3))] Fiona is kind.[(triple8)] Fiona is red.[(triple9 OR ((triple7) -> rule1) OR ((((triple10) -> rule3)) -> rule1) OR ((((((triple11) -> rule2)) -> rule3)) -> rule1))] Fiona is rough.[(triple10 OR ((triple11) -> rule2))] Fiona is young.[(triple11)] Gary is kind.[(triple12)] @1: Dave is red.[(((triple3) -> rule1))]