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