The cow is big. The cow is blue. The cow is not green. The cow is not red. The cow is rough. All rough people are big.
The cow is green.
@0: The cow is big.[(triple1 OR ((triple5) -> rule1))] The cow is blue.[(triple2)] The cow is not green.[(triple3)] The cow is not red.[(triple4)] The cow is rough.[(triple5)]