Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is smart. Bob is white. Bob is young. If Bob is not furry then Bob is smart. If Bob is blue and Bob is white then Bob is big. If someone is blue and not white then they are nice. If Bob is big then Bob is blue. If someone is nice and not smart then they are big. All blue people are young.
Bob is nice.
@0: Bob is big.[(triple1 OR ((triple2 triple6) -> rule2))] Bob is blue.[(triple2 OR ((triple1) -> rule4))] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple2) -> rule6) OR ((((triple1) -> rule4)) -> rule6))]