Bob is furry. Bob is not green. Bob is not quiet. Bob is rough. Bob is round. Bob is smart. Bob is white. Erin is not furry. Erin is green. Erin is quiet. Erin is not rough. Erin is not round. Erin is smart. Erin is white. White people are smart. If Bob is quiet and Bob is smart then Bob is green.
Bob is not smart.
@0: Bob is furry.[(triple1)] Bob is not green.[(triple2)] Bob is not quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple7) -> rule1))] Bob is white.[(triple7)] Erin is green.[(triple9)] Erin is not furry.[(triple8)] Erin is not rough.[(triple11)] Erin is not round.[(triple12)] Erin is quiet.[(triple10)] Erin is smart.[(triple13 OR ((triple14) -> rule1))] Erin is white.[(triple14)]