The cat chases the cow. The cat eats the cow. The cat eats the rabbit. The cat visits the dog. The cow chases the rabbit. The cow eats the dog. The cow eats the rabbit. The cow is nice. The dog eats the cow. The dog is nice. The dog is rough. The dog visits the cat. The dog visits the cow. The rabbit chases the cow. The rabbit is nice. The rabbit is young. If the cat is blue then the cat visits the cow. If someone visits the rabbit then they chase the dog. If someone visits the cow then they chase the rabbit. If someone chases the cow then they are blue. If someone chases the cat and they are blue then they visit the rabbit. If someone eats the cow and they chase the dog then they eat the cat.
The cat chases the rabbit.
@0: The cat chases the cow.[(triple1)] The cat eats the cow.[(triple2)] The cat eats the rabbit.[(triple3)] The cat visits the dog.[(triple4)] The cow chases the rabbit.[(triple5)] The cow eats the dog.[(triple6)] The cow eats the rabbit.[(triple7)] The cow is nice.[(triple8)] The dog eats the cow.[(triple9)] The dog is nice.[(triple10)] The dog is rough.[(triple11)] The dog visits the cat.[(triple12)] The dog visits the cow.[(triple13)] The rabbit chases the cow.[(triple14)] The rabbit is nice.[(triple15)] The rabbit is young.[(triple16)] @1: The cat is blue.[(((triple1) -> rule4))] The dog chases the rabbit.[(((triple13) -> rule3))] The rabbit is blue.[(((triple14) -> rule4))] @2: The cat visits the cow.[(((((triple1) -> rule4)) -> rule1))] @3: The cat chases the rabbit.[(((((((triple1) -> rule4)) -> rule1)) -> rule3))]