Anne is green. Bob is kind. Bob is rough. Erin is not rough. Fiona is nice. Fiona is not red. Fiona is rough. If something is green then it is not blue. Green things are red. Green, red things are rough. If Bob is blue then Bob is kind. All kind things are smart. Rough, red things are kind. If something is green and not kind then it is nice. All smart things are nice.
Erin is smart.
@0: Anne is green.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Erin is not rough.[(triple4)] Fiona is nice.[(triple5)] Fiona is not red.[(triple6)] Fiona is rough.[(triple7)] @1: Anne is not blue.[(((triple1) -> rule1))] Anne is red.[(((triple1) -> rule2))] Bob is smart.[(((triple2) -> rule5))] @2: Anne is rough.[(((triple1 ((triple1) -> rule2)) -> rule3))] Bob is nice.[(((((triple2) -> rule5)) -> rule8))] @3: Anne is kind.[(((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6))] @4: Anne is smart.[(((((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6)) -> rule5))] @5: Anne is nice.[(((((((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6)) -> rule5)) -> rule8))]