Charlie is cold. Charlie is kind. Charlie is nice. Cold people are kind. If someone is young then they are cold. Young, nice people are cold. If Charlie is green and Charlie is rough then Charlie is white. If Charlie is nice and Charlie is rough then Charlie is white. Kind, green people are rough. If Charlie is green and Charlie is nice then Charlie is rough. If someone is nice then they are green.
Charlie is green.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule1))] Charlie is nice.[(triple3)] @1: Charlie is green.[(((triple3) -> rule8))] @2: Charlie is rough.[(((triple2 ((triple3) -> rule8)) -> rule6) OR ((((triple3) -> rule8) triple3) -> rule7) OR ((((triple1) -> rule1) ((triple3) -> rule8)) -> rule6))] @3: Charlie is white.[(((triple3 ((triple2 ((triple3) -> rule8)) -> rule6)) -> rule5) OR ((triple3 ((((triple3) -> rule8) triple3) -> rule7)) -> rule5) OR ((triple3 ((((triple1) -> rule1) ((triple3) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule8) ((triple2 ((triple3) -> rule8)) -> rule6)) -> rule4) OR ((((triple3) -> rule8) ((((triple3) -> rule8) triple3) -> rule7)) -> rule4) OR ((((triple3) -> rule8) ((((triple1) -> rule1) ((triple3) -> rule8)) -> rule6)) -> rule4))]