Bob is big. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is not smart. Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Red, big people are quiet. Furry, smart people are quiet. If Bob is quiet and Bob is big then Bob is red. If Charlie is quiet and Charlie is furry then Charlie is rough. If someone is furry and not smart then they are rough. Furry, red people are rough. If Charlie is not smart then Charlie is red. If Charlie is big and Charlie is smart then Charlie is green.
Bob is not smart.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not smart.[(triple7)] Bob is quiet.[(triple4 OR ((triple5 triple1) -> rule1))] Bob is red.[(triple5 OR ((triple4 triple1) -> rule3))] Bob is rough.[(triple6 OR ((triple2 triple5) -> rule6) OR ((triple2 triple7) -> rule5) OR ((triple2 ((triple4 triple1) -> rule3)) -> rule6))] Charlie is big.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10 OR ((triple8 triple14) -> rule8))] Charlie is quiet.[(triple11 OR ((triple12 triple8) -> rule1) OR ((triple9 triple14) -> rule2))] Charlie is red.[(triple12)] Charlie is rough.[(triple13 OR ((triple11 triple9) -> rule4) OR ((triple9 triple12) -> rule6) OR ((((triple12 triple8) -> rule1) triple9) -> rule4) OR ((((triple9 triple14) -> rule2) triple9) -> rule4))] Charlie is smart.[(triple14)]