The cow is big. The cow is not green. The cow is not nice. The cow is red. The cow is not round. If something is red and big then it is not nice. All round, big things are nice. If something is green and red then it is nice. If something is nice and not big then it is red. If something is nice then it is red. All big things are not round. Red, green things are round. If something is nice and not green then it is round.
The cow chases the cow.
@0: The cow is big.[(triple1)] The cow is not green.[(triple2)] The cow is not nice.[(triple3 OR ((triple4 triple1) -> rule1))] The cow is not round.[(triple5 OR ((triple1) -> rule6))] The cow is red.[(triple4)]