Anne is white. Bob is blue. Bob is green. Bob is nice. Bob is rough. Charlie is big. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is white. Erin is big. Erin is green. Erin is smart. Erin is white. All rough things are white. Big things are white. If Charlie is big then Charlie is rough. All white, blue things are big. If something is big and not rough then it is not smart. If something is big then it is smart.
Anne is rough.
@0: Anne is white.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5)] Charlie is big.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Charlie is rough.[(triple9 OR ((triple6) -> rule3))] Charlie is smart.[(triple10 OR ((triple6) -> rule6))] Charlie is white.[(triple11 OR ((triple6) -> rule2) OR ((triple9) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Erin is big.[(triple12)] Erin is green.[(triple13)] Erin is smart.[(triple14 OR ((triple12) -> rule6))] Erin is white.[(triple15 OR ((triple12) -> rule2))] @1: Bob is white.[(((triple5) -> rule1))] @2: Bob is big.[(((((triple5) -> rule1) triple2) -> rule4))] @3: Bob is smart.[(((((((triple5) -> rule1) triple2) -> rule4)) -> rule6))]