The cat sees the lion. The cow sees the rabbit. The lion sees the cow. The rabbit sees the lion. If something sees the cow then the cow is not red. If the rabbit is not cold then the rabbit chases the cat. If something eats the lion and it is rough then it sees the rabbit. If something sees the lion and it does not eat the cow then the cow sees the rabbit. If something is rough and cold then it sees the lion. Red, round things are rough. If something is round then it sees the cow. If something eats the cat then the cat chases the cow.
The rabbit chases the rabbit.
@0: The cat sees the lion.[(triple1)] The cow sees the rabbit.[(triple2)] The lion sees the cow.[(triple3)] The rabbit sees the lion.[(triple4)] @1: The cow is not red.[(((triple3) -> rule1))]