Charlie is blue. Charlie is not white. Dave is big. Dave is not red. Gary is not big. Gary is cold. Gary is not red. If Charlie is big then Charlie is young. If something is red then it is young. If something is blue then it is young. All young things are not big. If something is red then it is white. If something is blue and not big then it is quiet.
Charlie is cold.
@0: Charlie is blue.[(triple1)] Charlie is not white.[(triple2)] Dave is big.[(triple3)] Dave is not red.[(triple4)] Gary is cold.[(triple6)] Gary is not big.[(triple5)] Gary is not red.[(triple7)] @1: Charlie is young.[(((triple1) -> rule3))] @2: Charlie is not big.[(((((triple1) -> rule3)) -> rule4))] @3: Charlie is quiet.[(((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule6))]