Charlie is blue. Charlie is kind. Charlie is red. All red people are blue. All kind, red people are blue. If Charlie is white then Charlie is not kind. All nice, blue people are smart. Young people are not smart. If someone is kind then they are nice.
Charlie is kind.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule1) OR ((triple2 triple3) -> rule2))] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule6))] @2: Charlie is smart.[(((((triple2) -> rule6) triple1) -> rule4) OR ((((triple2) -> rule6) ((triple3) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple2 triple3) -> rule2)) -> rule4))]