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