Anne is rough. Anne is white. Bob is nice. Bob is round. Dave is green. Erin is big. Erin is not white. If something is rough and not round then it is not white. All round things are smart. If something is round and green then it is smart. Big things are smart. All green, round things are rough. All smart things are green. If something is green and not rough then it is nice. If Dave is smart and Dave is not nice then Dave is white.
Erin is nice.
@0: Anne is rough.[(triple1)] Anne is white.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Dave is green.[(triple5)] Erin is big.[(triple6)] Erin is not white.[(triple7)] @1: Bob is smart.[(((triple4) -> rule2))] Erin is smart.[(((triple6) -> rule4))] @2: Bob is green.[(((((triple4) -> rule2)) -> rule6))] Erin is green.[(((((triple6) -> rule4)) -> rule6))] @3: Bob is rough.[(((((((triple4) -> rule2)) -> rule6) triple4) -> rule5))]