Bob is not big. Bob is cold. Bob is furry. Bob is not kind. Bob is quiet. Bob is round. Bob is smart. Round people are not kind.
Bob is not quiet.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is not kind.[(triple4 OR ((triple6) -> rule1))] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)]