The cat chases the mouse. The cat chases the rabbit. The cat is nice. The cat likes the dog. The dog is blue. The dog is nice. The dog is round. The dog likes the rabbit. The mouse chases the rabbit. The mouse is blue. The mouse is round. The mouse needs the rabbit. The rabbit chases the dog. The rabbit is blue. The rabbit is round. Round things are big. If the dog is round and the dog chases the rabbit then the rabbit likes the cat. If something likes the cat and the cat needs the dog then it chases the mouse.
The dog does not chase the mouse.
@0: The cat chases the mouse.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is nice.[(triple3)] The cat likes the dog.[(triple4)] The dog is blue.[(triple5)] The dog is nice.[(triple6)] The dog is round.[(triple7)] The dog likes the rabbit.[(triple8)] The mouse chases the rabbit.[(triple9)] The mouse is blue.[(triple10)] The mouse is round.[(triple11)] The mouse needs the rabbit.[(triple12)] The rabbit chases the dog.[(triple13)] The rabbit is blue.[(triple14)] The rabbit is round.[(triple15)] @1: The dog is big.[(((triple7) -> rule1))] The mouse is big.[(((triple11) -> rule1))] The rabbit is big.[(((triple15) -> rule1))]