The cow is blue. The cow is cold. The cow is not green. The cow is not red. The cow is round. Blue people are not green. If someone is green and not red then they are not round. Cold people are round.
The cow sees the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is not green.[(triple3 OR ((triple1) -> rule1))] The cow is not red.[(triple4)] The cow is round.[(triple5 OR ((triple2) -> rule3))]