The cow is big. The cow is blue. The cow is green. The cow is nice. The cow is not red. If someone is blue then they are green. If someone is blue and not nice then they are green. If someone is nice and not red then they are big.
The cow visits the cow.
@0: The cow is big.[(triple1 OR ((triple4 triple5) -> rule3))] The cow is blue.[(triple2)] The cow is green.[(triple3 OR ((triple2) -> rule1))] The cow is nice.[(triple4)] The cow is not red.[(triple5)]