The bear sees the dog. The bear sees the lion. The cat chases the lion. The cat sees the dog. The dog chases the bear. The dog chases the cat. The lion chases the bear. The lion eats the dog. The lion is big. The lion sees the bear. If someone chases the dog then they are rough. If someone chases the lion and the lion is big then the lion eats the dog. If someone is red and they see the bear then they chase the lion. If the lion sees the cat then the lion eats the cat. If someone eats the cat and they are big then they see the dog. If the dog chases the cat then the cat is round.
The cat is not rough.
@0: The bear sees the dog.[(triple1)] The bear sees the lion.[(triple2)] The cat chases the lion.[(triple3)] The cat sees the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the cat.[(triple6)] The lion chases the bear.[(triple7)] The lion eats the dog.[(triple8 OR ((triple3 triple9) -> rule2))] The lion is big.[(triple9)] The lion sees the bear.[(triple10)] @1: The cat is round.[(((triple6) -> rule6))]