The bear chases the lion. The bear is round. The cat chases the bear. The cat is nice. The cat does not visit the lion. The lion eats the cat. The squirrel visits the lion. If someone eats the bear then the bear visits the squirrel. If someone is nice and they chase the bear then they visit the cat. If someone eats the squirrel then they visit the cat. If someone visits the cat then they visit the bear. If someone is kind and they chase the cat then the cat does not chase the lion. If the squirrel visits the bear then the bear eats the squirrel.
The bear is not round.
@0: The bear chases the lion.[(triple1)] The bear is round.[(triple2)] The cat chases the bear.[(triple3)] The cat does not visit the lion.[(triple5)] The cat is nice.[(triple4)] The lion eats the cat.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The cat visits the cat.[(((triple4 triple3) -> rule2))] @2: The cat visits the bear.[(((((triple4 triple3) -> rule2)) -> rule4))]