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