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