The cow is not big. The cow is blue. The cow is green. The cow is nice. The cow is young. If the cow is young and the cow is big then the cow is not blue. If the cow is blue and the cow is big then the cow is nice. If the cow is big and the cow is not young then the cow is green. If the cow is young then the cow is not big. If someone is green and not young then they are not nice. If someone is blue and big then they are green.
The cow likes the cow.
@0: The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is not big.[(triple1 OR ((triple5) -> rule4))] The cow is young.[(triple5)]