Anne is green. Anne is nice. Anne is rough. Anne is round. Bob is green. Bob is white. Erin is green. Erin is rough. Erin is not round. Erin is smart. Erin is white. Erin is young. All round things are white. White, rough things are nice. All white things are smart.
Bob is not rough.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2 OR ((((triple4) -> rule1) triple3) -> rule2))] Anne is rough.[(triple3)] Anne is round.[(triple4)] Bob is green.[(triple5)] Bob is white.[(triple6)] Erin is green.[(triple7)] Erin is not round.[(triple9)] Erin is rough.[(triple8)] Erin is smart.[(triple10 OR ((triple11) -> rule3))] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Anne is white.[(((triple4) -> rule1))] Bob is smart.[(((triple6) -> rule3))] Erin is nice.[(((triple11 triple8) -> rule2))] @2: Anne is smart.[(((((triple4) -> rule1)) -> rule3))]