The cow is big. The cow is blue. The cow is green. The cow is kind. The cow is rough. Blue things are green.
The cow does not see the cow.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3 OR ((triple2) -> rule1))] The cow is kind.[(triple4)] The cow is rough.[(triple5)]