Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is round. If someone is rough then they are round. Blue people are kind.
Bob is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule2))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple6) -> rule1))]