Charlie is blue. Charlie is cold. Charlie is red. If Charlie is blue and Charlie is cold then Charlie is kind. If Charlie is kind then Charlie is big. If Charlie is big and Charlie is cold then Charlie is quiet. If Charlie is kind then Charlie is nice. All nice, quiet things are big. All cold, big things are nice.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] @1: Charlie is kind.[(((triple1 triple2) -> rule1))] @2: Charlie is big.[(((((triple1 triple2) -> rule1)) -> rule2))] Charlie is nice.[(((((triple1 triple2) -> rule1)) -> rule4) OR ((triple2 ((((triple1 triple2) -> rule1)) -> rule2)) -> rule6))] @3: Charlie is quiet.[(((((((triple1 triple2) -> rule1)) -> rule2) triple2) -> rule3))]