Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is smart. All rough, red people are furry. If someone is green then they are smart.
Bob is green.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple6 triple5) -> rule1))] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7 OR ((triple3) -> rule2))]