Anne is nice. Bob is cold. Bob is nice. Bob is rough. Charlie is green. Charlie is nice. Charlie is rough. If Charlie is green then Charlie is nice. All green people are white. If Bob is young and Bob is nice then Bob is smart. If someone is nice then they are green. All rough people are white. If someone is smart then they are rough. All young people are green. Rough, green people are young.
Bob is smart.
@0: Anne is nice.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Charlie is green.[(triple5 OR ((triple6) -> rule4))] Charlie is nice.[(triple6 OR ((triple5) -> rule1))] Charlie is rough.[(triple7)] @1: Anne is green.[(((triple1) -> rule4))] Bob is green.[(((triple3) -> rule4))] Bob is white.[(((triple4) -> rule5) OR ((((triple3) -> rule4)) -> rule2))] Charlie is white.[(((triple5) -> rule2) OR ((triple7) -> rule5) OR ((((triple6) -> rule4)) -> rule2))] Charlie is young.[(((triple7 triple5) -> rule8) OR ((triple7 ((triple6) -> rule4)) -> rule8))] @2: Anne is white.[(((((triple1) -> rule4)) -> rule2))] Bob is young.[(((triple4 ((triple3) -> rule4)) -> rule8))] @3: Bob is smart.[(((((triple4 ((triple3) -> rule4)) -> rule8) triple3) -> rule3))]