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