The cat is big. The cat is cold. The cat is not green. The cat is nice. The cat is not red. If someone is nice and not cold then they are green. If the cat is green and the cat is not cold then the cat is nice. Green, cold people are not red. If someone is big and not green then they are not red. All red, green people are big. If someone is green and red then they are big.
The cat is not cold.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is nice.[(triple4)] The cat is not green.[(triple3)] The cat is not red.[(triple5 OR ((triple1 triple3) -> rule4))]