The cow is not cold. The cow is not green. The cow is nice. The cow is red. The cow is round. If the cow is green and the cow is nice then the cow is round. If something is round and not red then it is green. If something is nice and cold then it is green. If something is cold then it is green. Green, red things are not round. If something is green and not red then it is round. If something is round and not red then it is not nice. Round things are nice.
The cow is not round.
@0: The cow is nice.[(triple3 OR ((triple5) -> rule8))] The cow is not cold.[(triple1)] The cow is not green.[(triple2)] The cow is red.[(triple4)] The cow is round.[(triple5)]