Bob is not big. Bob is furry. Bob is not kind. Bob is red. Bob is rough. Bob is not smart. Bob is white. Big, rough people are not kind. All big, rough people are kind. All furry people are white. Kind, smart people are red. If someone is white then they are red. If Bob is white and Bob is not big then Bob is not kind. White people are furry. If someone is big then they are furry.
Bob is big.
@0: Bob is furry.[(triple2 OR ((triple7) -> rule7))] Bob is not big.[(triple1)] Bob is not kind.[(triple3 OR ((triple7 triple1) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule6))] Bob is not smart.[(triple6)] Bob is red.[(triple4 OR ((triple7) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] Bob is rough.[(triple5)] Bob is white.[(triple7 OR ((triple2) -> rule3))]