Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is rough. Bob is round. If something is furry and red then it is round. If something is furry then it is rough. If something is red and not round then it is big.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple4) -> rule2))] Bob is round.[(triple7 OR ((triple4 triple5) -> rule1))]