The cat chases the dog. The cat likes the dog. The cat sees the cow. The cat sees the dog. The cow chases the cat. The cow is big. The cow is red. The dog chases the rabbit. The dog likes the cat. The dog likes the cow. The dog sees the cow. The rabbit likes the cow. If something is young and it sees the cow then it sees the cat. If something sees the dog then the dog chases the rabbit.
The cat likes the cat.
@0: The cat chases the dog.[(triple1)] The cat likes the dog.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the dog.[(triple4)] The cow chases the cat.[(triple5)] The cow is big.[(triple6)] The cow is red.[(triple7)] The dog chases the rabbit.[(triple8 OR ((triple4) -> rule2))] The dog likes the cat.[(triple9)] The dog likes the cow.[(triple10)] The dog sees the cow.[(triple11)] The rabbit likes the cow.[(triple12)]