Bob is big. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Bob is young. If Bob is quiet then Bob is young. If someone is big then they are nice. If someone is big and smart then they are young. If someone is white then they are young. If someone is nice and young then they are smart. All rough people are smart. Rough, white people are smart. If Bob is not nice then Bob is not rough.
Bob is not smart.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2 OR ((triple1) -> rule2))] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5 OR ((triple4) -> rule6) OR ((triple2 triple7) -> rule5) OR ((triple4 triple6) -> rule7) OR ((triple2 ((triple3) -> rule1)) -> rule5) OR ((triple2 ((triple6) -> rule4)) -> rule5) OR ((((triple1) -> rule2) triple7) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule1)) -> rule5) OR ((((triple1) -> rule2) ((triple6) -> rule4)) -> rule5))] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple3) -> rule1) OR ((triple6) -> rule4) OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple4) -> rule6)) -> rule3) OR ((triple1 ((triple4 triple6) -> rule7)) -> rule3))]