Charlie is big. Dave is white. Gary is blue. If Gary is nice and Gary is big then Gary is blue. White, nice people are kind. If someone is white and rough then they are quiet. Blue, quiet people are rough. White people are rough. Big, white people are blue. All nice people are big. If Gary is white then Gary is quiet.
Charlie is big.
@0: Charlie is big.[(triple1)] Dave is white.[(triple2)] Gary is blue.[(triple3)] @1: Dave is rough.[(((triple2) -> rule5))] @2: Dave is quiet.[(((triple2 ((triple2) -> rule5)) -> rule3))]