Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is white. If someone is cold and kind then they are quiet. Kind, green people are nice.
Gary is not round.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple3 triple2) -> rule2))] Charlie is quiet.[(triple5 OR ((triple1 triple3) -> rule1))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11 OR ((triple10 triple9) -> rule2))] Gary is quiet.[(triple12 OR ((triple8 triple10) -> rule1))] Gary is round.[(triple13)] Gary is white.[(triple14)]