Charlie is big. Charlie is blue. Charlie is green. Gary is big. Gary is quiet. Gary is smart. Gary is white. All nice people are white. All big, nice people are blue. White, big people are blue. White people are smart. All big, nice people are blue. All blue people are green. Nice people are big. If Gary is quiet then Gary is big.
Gary is not blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3 OR ((triple2) -> rule6))] Gary is big.[(triple4 OR ((triple5) -> rule8))] Gary is quiet.[(triple5)] Gary is smart.[(triple6 OR ((triple7) -> rule4))] Gary is white.[(triple7)] @1: Gary is blue.[(((triple7 triple4) -> rule3) OR ((triple7 ((triple5) -> rule8)) -> rule3))] @2: Gary is green.[(((((triple7 triple4) -> rule3)) -> rule6) OR ((((triple7 ((triple5) -> rule8)) -> rule3)) -> rule6))]