The cat is rough. The cat is round. The dog does not chase the lion. The dog eats the cat. The dog does not like the cat. The lion chases the dog. The lion is green. If someone is green and they like the lion then they eat the dog. If someone is round then they chase the lion. If someone chases the lion then they like the dog. If someone eats the dog then they are not round. If the dog does not like the lion then the lion is red. If someone likes the lion and the lion likes the cat then they chase the dog. If someone likes the lion and the lion is green then the lion is round. If someone likes the dog then they eat the lion.
The lion does not like the dog.
@0: The cat is rough.[(triple1)] The cat is round.[(triple2)] The dog does not chase the lion.[(triple3)] The dog does not like the cat.[(triple5)] The dog eats the cat.[(triple4)] The lion chases the dog.[(triple6)] The lion is green.[(triple7)] @1: The cat chases the lion.[(((triple2) -> rule2))] @2: The cat likes the dog.[(((((triple2) -> rule2)) -> rule3))] @3: The cat eats the lion.[(((((((triple2) -> rule2)) -> rule3)) -> rule8))]