The cow is green. The cow is nice. The cow is red. If someone is green and not round then they are nice. If someone is red then they are green. Nice people are red. If someone is nice and not round then they are red. If the cow is red then the cow is nice. If someone is nice and not red then they are rough. If someone is nice then they are not rough. If someone is nice and not round then they are rough.
The cow does not like the cow.
@0: The cow is green.[(triple1 OR ((triple3) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] The cow is nice.[(triple2 OR ((triple3) -> rule5))] The cow is red.[(triple3 OR ((triple2) -> rule3))] @1: The cow is not rough.[(((triple2) -> rule7) OR ((((triple3) -> rule5)) -> rule7))]