Charlie is smart. If something is red then it is quiet. All red things are nice. Smart things are nice. White, cold things are red. If something is smart then it is red. All cold, smart things are red. Quiet, green things are red. All nice things are cold.
Charlie is white.
@0: Charlie is smart.[(triple1)] @1: Charlie is nice.[(((triple1) -> rule3) OR ((((triple1) -> rule5)) -> rule2))] Charlie is red.[(((triple1) -> rule5) OR ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6))] @2: Charlie is cold.[(((((triple1) -> rule3)) -> rule8) OR ((((((triple1) -> rule5)) -> rule2)) -> rule8))] Charlie is quiet.[(((((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1))]