Anne is smart. Anne is young. Fiona is not cold. Fiona is rough. Fiona is smart. Fiona is white. Fiona is not young. If Anne is young and Anne is smart then Anne is not cold. All furry people are not green. White people are green. If someone is cold and not rough then they are not white. If someone is smart and not cold then they are white. If Fiona is young and Fiona is white then Fiona is not green.
Anne is not green.
@0: Anne is smart.[(triple1)] Anne is young.[(triple2)] Fiona is not cold.[(triple3)] Fiona is not young.[(triple7)] Fiona is rough.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6 OR ((triple5 triple3) -> rule5))] @1: Anne is not cold.[(((triple2 triple1) -> rule1))] Fiona is green.[(((triple6) -> rule3) OR ((((triple5 triple3) -> rule5)) -> rule3))] @2: Anne is white.[(((triple1 ((triple2 triple1) -> rule1)) -> rule5))] @3: Anne is green.[(((((triple1 ((triple2 triple1) -> rule1)) -> rule5)) -> rule3))]