Bob is big. Bob is blue. Bob is not furry. Bob is not red. Bob is rough. Bob is round. Bob is not young. Furry people are not red. Rough people are round. If someone is big and round then they are blue.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1 triple6) -> rule3) OR ((triple1 ((triple5) -> rule2)) -> rule3))] Bob is not furry.[(triple3)] Bob is not red.[(triple4)] Bob is not young.[(triple7)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple5) -> rule2))]