The cow is not big. The cow is blue. The cow is nice. The cow is red. The cow is rough. If someone is nice then they are blue. If the cow is nice then the cow is red. Big people are rough. If someone is big and not blue then they are rough. If someone is rough and not blue then they are not red. If someone is rough and not nice then they are red.
The cow does not like the cow.
@0: The cow is blue.[(triple2 OR ((triple3) -> rule1))] The cow is nice.[(triple3)] The cow is not big.[(triple1)] The cow is red.[(triple4 OR ((triple3) -> rule2))] The cow is rough.[(triple5)]