The cow likes the rabbit. The rabbit sees the cow. If someone likes the cow then the cow is nice. If the cow sees the rabbit and the rabbit is rough then the cow is not nice. If someone is green and they eat the rabbit then the rabbit is cold. If the rabbit sees the cow then the cow is not green. If someone sees the cow and the cow likes the rabbit then the cow eats the rabbit. If someone likes the rabbit and they do not see the rabbit then the rabbit is nice. If someone likes the rabbit then the rabbit likes the cow. If the cow eats the rabbit and the rabbit does not like the cow then the rabbit eats the cow.
The cow is nice.
@0: The cow likes the rabbit.[(triple1)] The rabbit sees the cow.[(triple2)] @1: The cow eats the rabbit.[(((triple2 triple1) -> rule5))] The cow is not green.[(((triple2) -> rule4))] The rabbit likes the cow.[(((triple1) -> rule7))] @2: The cow is nice.[(((((triple1) -> rule7)) -> rule1))]