Charlie is big. Charlie is blue. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. If someone is cold then they are blue. If someone is quiet and green then they are red. If someone is cold then they are not red.
Charlie is not cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is not cold.[(triple3)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7 OR ((triple6 triple5) -> rule2))]