The cat chases the lion. The cat is big. The dog chases the lion. The dog sees the lion. The dog sees the rabbit. The lion chases the cat. The lion chases the rabbit. The lion eats the cat. The lion eats the rabbit. The lion is blue. The lion is rough. The rabbit chases the lion. The rabbit eats the cat. The rabbit eats the lion. The rabbit is rough. The rabbit sees the dog. If the rabbit eats the lion then the lion eats the dog. If someone chases the lion and they are rough then they are red. If someone eats the dog and the dog chases the cat then the cat is blue. If someone eats the lion then the lion eats the dog. If someone chases the lion and they chase the dog then the lion sees the rabbit. If the lion sees the dog and the dog chases the cat then the dog is young. If someone is red then they see the rabbit. If someone eats the dog then they see the rabbit.
The rabbit sees the rabbit.
@0: The cat chases the lion.[(triple1)] The cat is big.[(triple2)] The dog chases the lion.[(triple3)] The dog sees the lion.[(triple4)] The dog sees the rabbit.[(triple5)] The lion chases the cat.[(triple6)] The lion chases the rabbit.[(triple7)] The lion eats the cat.[(triple8)] The lion eats the rabbit.[(triple9)] The lion is blue.[(triple10)] The lion is rough.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit eats the cat.[(triple13)] The rabbit eats the lion.[(triple14)] The rabbit is rough.[(triple15)] The rabbit sees the dog.[(triple16)] @1: The lion eats the dog.[(((triple14) -> rule1) OR ((triple14) -> rule4))] The rabbit is red.[(((triple12 triple15) -> rule2))] @2: The lion sees the rabbit.[(((((triple14) -> rule1)) -> rule8) OR ((((triple14) -> rule4)) -> rule8))] The rabbit sees the rabbit.[(((((triple12 triple15) -> rule2)) -> rule7))]