The cow is big. The cow is not blue. The cow is green. The cow is nice. The cow is red. If something is green and nice then it is red. If something is blue then it is not red.
The cow is green.
@0: The cow is big.[(triple1)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is not blue.[(triple2)] The cow is red.[(triple5 OR ((triple3 triple4) -> rule1))]