The cat is rough. The cat is round. The cat does not like the cow. The cow eats the lion. The cow is round. The cow likes the cat. The lion does not eat the cow. The lion is kind. The lion likes the cow. The lion visits the cat. If something likes the cat then it visits the cat. If something likes the cat and the cat eats the lion then it visits the cow. If the cat eats the lion then the lion is kind. If something is green and it visits the cow then the cow visits the cat. If something eats the cow and it is not rough then it does not eat the cat. If something is kind then it eats the cat. If something likes the cow then the cow is kind. If something is rough and it eats the lion then it eats the cow.
The cat does not visit the cat.
@0: The cat does not like the cow.[(triple3)] The cat is rough.[(triple1)] The cat is round.[(triple2)] The cow eats the lion.[(triple4)] The cow is round.[(triple5)] The cow likes the cat.[(triple6)] The lion does not eat the cow.[(triple7)] The lion is kind.[(triple8)] The lion likes the cow.[(triple9)] The lion visits the cat.[(triple10)] @1: The cow is kind.[(((triple9) -> rule7))] The cow visits the cat.[(((triple6) -> rule1))] The lion eats the cat.[(((triple8) -> rule6))] @2: The cow eats the cat.[(((((triple9) -> rule7)) -> rule6))]