Charlie is nice. Charlie is smart. Charlie is young. All smart things are kind. If something is round then it is young. Kind, blue things are round. If something is kind then it is blue. All red, kind things are young. If something is red then it is blue. All young, blue things are nice. All red, young things are nice.
Charlie is not kind.
@0: Charlie is nice.[(triple1 OR ((triple3 ((((triple2) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule4)) -> rule3)) -> rule2) ((((triple2) -> rule1)) -> rule4)) -> rule7))] Charlie is smart.[(triple2)] Charlie is young.[(triple3 OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule4)) -> rule3)) -> rule2))] @1: Charlie is kind.[(((triple2) -> rule1))] @2: Charlie is blue.[(((((triple2) -> rule1)) -> rule4))] @3: Charlie is round.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule4)) -> rule3))]