Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is smart. Charlie is white. Charlie is young. If someone is blue and young then they are cold. All smart, kind people are young. Smart, cold people are kind.
Charlie is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple1 triple7) -> rule1) OR ((triple1 ((triple5 triple4) -> rule2)) -> rule1))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple1 triple7) -> rule1)) -> rule3))] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple5 triple2) -> rule3)) -> rule2))]