Anne is green. Anne is quiet. Anne is rough. Anne is smart. Dave is green. Dave is kind. Dave is quiet. Dave is not red. Dave is rough. Dave is smart. Dave is white. Fiona is kind. Fiona is not quiet. Fiona is not red. Fiona is white. Red, white things are not green. All white, rough things are smart. If something is kind and not white then it is not quiet. All kind things are rough. If something is kind and not red then it is rough. If Anne is smart then Anne is green.
Anne is kind.
@0: Anne is green.[(triple1 OR ((triple4) -> rule6))] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is not red.[(triple8)] Dave is quiet.[(triple7)] Dave is rough.[(triple9 OR ((triple6) -> rule4) OR ((triple6 triple8) -> rule5))] Dave is smart.[(triple10 OR ((triple11 triple9) -> rule2) OR ((triple11 ((triple6) -> rule4)) -> rule2) OR ((triple11 ((triple6 triple8) -> rule5)) -> rule2))] Dave is white.[(triple11)] Fiona is kind.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is not red.[(triple14)] Fiona is white.[(triple15)] @1: Fiona is rough.[(((triple12) -> rule4) OR ((triple12 triple14) -> rule5))] @2: Fiona is smart.[(((triple15 ((triple12) -> rule4)) -> rule2) OR ((triple15 ((triple12 triple14) -> rule5)) -> rule2))]