Bob is big. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is white. Rough people are red. If someone is red then they are furry.
Bob is round.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple5) -> rule1))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)]