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 eats 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)]