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