The cat chases the lion. The dog chases the cat. The dog chases the squirrel. The dog likes the squirrel. The lion is rough. The squirrel is round. The squirrel likes the cat. If someone is rough then they eat the cat. If someone chases the squirrel and the squirrel eats the cat then the cat is round. If someone is rough then they eat the cat.
The squirrel does not eat the cat.
@0: The cat chases the lion.[(triple1)] The dog chases the cat.[(triple2)] The dog chases the squirrel.[(triple3)] The dog likes the squirrel.[(triple4)] The lion is rough.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the cat.[(triple7)] @1: The lion eats the cat.[(((triple5) -> rule1) OR ((triple5) -> rule3))]