Bob is blue. Bob is cold. Bob is not green. Bob is kind. Bob is nice. Bob is rough. Bob is white. If someone is cold then they are kind. All nice people are kind. White people are blue. If someone is white and cold then they are nice. All green people are cold. Cold, blue people are white. All blue people are white. If someone is white and cold then they are rough.
Bob is not nice.
@0: Bob is blue.[(triple1 OR ((triple7) -> rule3))] Bob is cold.[(triple2)] Bob is kind.[(triple4 OR ((triple2) -> rule1) OR ((triple5) -> rule2) OR ((((triple7 triple2) -> rule4)) -> rule2) OR ((((((triple1) -> rule7) triple2) -> rule4)) -> rule2) OR ((((((triple2 triple1) -> rule6) triple2) -> rule4)) -> rule2))] Bob is nice.[(triple5 OR ((triple7 triple2) -> rule4) OR ((((triple1) -> rule7) triple2) -> rule4) OR ((((triple2 triple1) -> rule6) triple2) -> rule4))] Bob is not green.[(triple3)] Bob is rough.[(triple6 OR ((triple7 triple2) -> rule8) OR ((((triple1) -> rule7) triple2) -> rule8) OR ((((triple2 triple1) -> rule6) triple2) -> rule8))] Bob is white.[(triple7 OR ((triple1) -> rule7) OR ((triple2 triple1) -> rule6))]