Bob is big. Bob is blue. Bob is not cold. Bob is green. Bob is nice. Bob is rough. Bob is smart. If someone is cold then they are rough. Big people are rough. If someone is cold and not nice then they are not big. If Bob is cold then Bob is not smart. Nice, big people are green. All cold people are green. Blue people are green. All rough, nice people are smart.
Bob is nice.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple4 OR ((triple2) -> rule7) OR ((triple5 triple1) -> rule5))] Bob is nice.[(triple5)] Bob is not cold.[(triple3)] Bob is rough.[(triple6 OR ((triple1) -> rule2))] Bob is smart.[(triple7 OR ((triple6 triple5) -> rule8) OR ((((triple1) -> rule2) triple5) -> rule8))]