Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is smart. Gary is nice. Gary is quiet. Gary is smart. All red things are blue. If something is big and quiet then it is smart. All nice things are red.
Gary is red.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is smart.[(triple7)] @1: Gary is red.[(((triple5) -> rule3))] @2: Gary is blue.[(((((triple5) -> rule3)) -> rule1))]