Anne is green. Anne is nice. Anne is red. Anne is not smart. Anne is white. Fiona is not kind. Fiona is smart. Kind people are white. If someone is white then they are not kind. If Fiona is red and Fiona is nice then Fiona is not green. All white people are nice. If Fiona is not kind then Fiona is not round. If someone is green and not round then they are smart. All red people are green. If someone is nice and not round then they are not green.
Anne is smart.
@0: Anne is green.[(triple1 OR ((triple3) -> rule7))] Anne is nice.[(triple2 OR ((triple5) -> rule4))] Anne is not smart.[(triple4)] Anne is red.[(triple3)] Anne is white.[(triple5)] Fiona is not kind.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is not kind.[(((triple5) -> rule2))] Fiona is not round.[(((triple6) -> rule5))]