The cat chases the rabbit. The cat is rough. The cow chases the dog. The cow is big. The cow is nice. The dog likes the cow. The dog visits the rabbit. The rabbit chases the dog. The rabbit likes the cow. The rabbit visits the cat. If someone visits the dog then the dog likes the cat. Blue people are nice. If someone visits the dog then the dog is nice. If the dog likes the cat and the dog visits the cat then the dog chases the rabbit. If someone chases the cow and they are rough then the cow chases the rabbit. If someone is blue then they chase the cow. If someone is rough then they like the rabbit. If the cat likes the rabbit then the rabbit visits the dog.
The dog likes the cat.
@0: The cat chases the rabbit.[(triple1)] The cat is rough.[(triple2)] The cow chases the dog.[(triple3)] The cow is big.[(triple4)] The cow is nice.[(triple5)] The dog likes the cow.[(triple6)] The dog visits the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The cat likes the rabbit.[(((triple2) -> rule7))] @2: The rabbit visits the dog.[(((((triple2) -> rule7)) -> rule8))] @3: The dog is nice.[(((((((triple2) -> rule7)) -> rule8)) -> rule3))] The dog likes the cat.[(((((((triple2) -> rule7)) -> rule8)) -> rule1))]