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