Charlie is big. Charlie is young. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is smart. Gary is white. Gary is young. Harry is big. Harry is blue. Harry is furry. Harry is red. Harry is smart. Harry is white. Harry is young. White, smart things are big. If Harry is young and Harry is smart then Harry is big.
Charlie is not red.
@0: Charlie is big.[(triple1)] Charlie is young.[(triple2)] Gary is big.[(triple3 OR ((triple8 triple7) -> rule1))] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10 OR ((triple15 triple14) -> rule1) OR ((triple16 triple14) -> rule2))] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]