Charlie is blue. Charlie is cold. Charlie is kind. If someone is kind then they are smart. If Charlie is red and Charlie is kind then Charlie is cold. All young, smart people are round. Kind people are blue. All smart, red people are cold. All kind, cold people are round. All cold, kind people are blue. Blue people are kind.
Charlie is young.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule4) OR ((triple2 triple3) -> rule7))] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple1) -> rule8))] @1: Charlie is round.[(((triple3 triple2) -> rule6) OR ((((triple1) -> rule8) triple2) -> rule6))] Charlie is smart.[(((triple3) -> rule1) OR ((((triple1) -> rule8)) -> rule1))]