Charlie is cold. Charlie is quiet. Charlie is smart. If Charlie is green and Charlie is blue then Charlie is cold. If someone is red and green then they are young. Blue, cold people are young. If someone is smart and cold then they are blue. All young, green people are red. All cold people are green.
Charlie is not young.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] @1: Charlie is blue.[(((triple3 triple1) -> rule4))] Charlie is green.[(((triple1) -> rule6))] @2: Charlie is young.[(((((triple3 triple1) -> rule4) triple1) -> rule3))] @3: Charlie is red.[(((((((triple3 triple1) -> rule4) triple1) -> rule3) ((triple1) -> rule6)) -> rule5))]