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