The cow is not blue. The cow is not cold. The cow is young. All cold people are not blue. Kind people are blue. If someone is cold then they are blue. Young people are big. Young, cold people are big. If someone is big and not kind then they are cold.
The cow chases the cow.
@0: The cow is not blue.[(triple1)] The cow is not cold.[(triple2)] The cow is young.[(triple3)] @1: The cow is big.[(((triple3) -> rule4))]