Anne is not big. Anne is not kind. Anne is smart. Anne is white. Fiona is not green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. If someone is smart then they are red. All green people are red.
Anne is green.
@0: Anne is not big.[(triple1)] Anne is not kind.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Fiona is kind.[(triple6)] Fiona is not green.[(triple5)] Fiona is red.[(triple7 OR ((triple9) -> rule1))] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Anne is red.[(((triple3) -> rule1))]