Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is white. Green things are red.
Gary is not kind.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple2) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12 OR ((triple9) -> rule1))] Gary is smart.[(triple13)] Gary is white.[(triple14)]