The cat chases the mouse. The cat does not chase the rabbit. The cat is big. The cat is green. The cat is rough. The cat needs the mouse. The cat sees the dog. The dog does not chase the rabbit. The mouse chases the cat. The mouse chases the dog. The mouse is green. The mouse needs the dog. The rabbit chases the cat. The rabbit chases the dog. The rabbit is not green. The rabbit needs the cat. If the rabbit does not see the mouse then the mouse sees the dog. If something chases the mouse then it sees the cat. If the dog is rough and the dog is red then the dog chases the cat.
The dog sees the cat.
@0: The cat chases the mouse.[(triple1)] The cat does not chase the rabbit.[(triple2)] The cat is big.[(triple3)] The cat is green.[(triple4)] The cat is rough.[(triple5)] The cat needs the mouse.[(triple6)] The cat sees the dog.[(triple7)] The dog does not chase the rabbit.[(triple8)] The mouse chases the cat.[(triple9)] The mouse chases the dog.[(triple10)] The mouse is green.[(triple11)] The mouse needs the dog.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit chases the dog.[(triple14)] The rabbit is not green.[(triple15)] The rabbit needs the cat.[(triple16)] @1: The cat sees the cat.[(((triple1) -> rule2))]