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