Bob is big. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Bob is white. If someone is kind and rough then they are quiet.
Bob is white.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple3 triple5) -> rule1))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)]