The bear eats the lion. The bear is green. The bear is rough. The bear visits the lion. The cat chases the rabbit. The cat eats the bear. The cat eats the rabbit. The cat is kind. The cat visits the bear. The lion chases the bear. The lion does not eat the bear. The lion is not green. The rabbit chases the cat. The rabbit eats the bear. The rabbit visits the cat. If the lion is young then the lion visits the bear. If someone is green and not rough then they eat the lion. If someone visits the rabbit then they visit the lion. If someone eats the bear then they are green. If someone chases the bear then they do not eat the cat. If someone is green then they chase the bear. If the lion visits the rabbit and the rabbit is not young then the lion is not kind. If the bear chases the rabbit and the lion does not visit the bear then the bear does not visit the lion.
The lion is not rough.
@0: The bear eats the lion.[(triple1)] The bear is green.[(triple2)] The bear is rough.[(triple3)] The bear visits the lion.[(triple4)] The cat chases the rabbit.[(triple5)] The cat eats the bear.[(triple6)] The cat eats the rabbit.[(triple7)] The cat is kind.[(triple8)] The cat visits the bear.[(triple9)] The lion chases the bear.[(triple10)] The lion does not eat the bear.[(triple11)] The lion is not green.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit eats the bear.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The bear chases the bear.[(((triple2) -> rule6))] The cat is green.[(((triple6) -> rule4))] The lion does not eat the cat.[(((triple10) -> rule5))] The rabbit is green.[(((triple14) -> rule4))] @2: The bear does not eat the cat.[(((((triple2) -> rule6)) -> rule5))] The cat chases the bear.[(((((triple6) -> rule4)) -> rule6))] The rabbit chases the bear.[(((((triple14) -> rule4)) -> rule6))] @3: The cat does not eat the cat.[(((((((triple6) -> rule4)) -> rule6)) -> rule5))] The rabbit does not eat the cat.[(((((((triple14) -> rule4)) -> rule6)) -> rule5))]