Bob is blue. Bob is cold. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is smart. All blue people are rough. If someone is smart then they are quiet. Cold people are green. Cold, blue people are green. Round people are blue. All smart people are round.
Bob is green.
@0: Bob is blue.[(triple1 OR ((triple6) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule3) OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple6) -> rule5)) -> rule4) OR ((triple2 ((((triple7) -> rule6)) -> rule5)) -> rule4))] Bob is quiet.[(triple4 OR ((triple7) -> rule2))] Bob is rough.[(triple5 OR ((triple1) -> rule1) OR ((((triple6) -> rule5)) -> rule1) OR ((((((triple7) -> rule6)) -> rule5)) -> rule1))] Bob is round.[(triple6 OR ((triple7) -> rule6))] Bob is smart.[(triple7)]