Bob is not quiet. Bob is rough. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is furry. Dave is quiet. Dave is smart. Dave is white. Gary is red. Gary is rough. If something is furry then it is red. All red things are green. All red, furry things are green. If something is rough and not quiet then it is white. If something is furry and green then it is rough. If something is white then it is smart. If something is quiet and not white then it is smart. Green things are smart.
Bob is green.
@0: Bob is not quiet.[(triple1)] Bob is rough.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple6) -> rule6) OR ((((triple3) -> rule2)) -> rule8))] Charlie is white.[(triple6)] Dave is furry.[(triple7)] Dave is quiet.[(triple8)] Dave is smart.[(triple9 OR ((triple10) -> rule6) OR ((((((triple7) -> rule1)) -> rule2)) -> rule8) OR ((((((triple7) -> rule1) triple7) -> rule3)) -> rule8))] Dave is white.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Bob is white.[(((triple2 triple1) -> rule4))] Charlie is green.[(((triple3) -> rule2))] Dave is red.[(((triple7) -> rule1))] Gary is green.[(((triple11) -> rule2))] @2: Bob is smart.[(((((triple2 triple1) -> rule4)) -> rule6))] Dave is green.[(((((triple7) -> rule1)) -> rule2) OR ((((triple7) -> rule1) triple7) -> rule3))] Gary is smart.[(((((triple11) -> rule2)) -> rule8))] @3: Dave is rough.[(((triple7 ((((triple7) -> rule1)) -> rule2)) -> rule5) OR ((triple7 ((((triple7) -> rule1) triple7) -> rule3)) -> rule5))]