The bear is red. The bear sees the mouse. The bear visits the lion. The cat eats the bear. The cat eats the lion. The cat eats the mouse. The cat is round. The cat sees the bear. The cat sees the lion. The cat visits the bear. The cat visits the mouse. The lion eats the mouse. The lion sees the mouse. The mouse eats the bear. The mouse sees the lion. If someone is rough and they visit the bear then the bear is red. If someone eats the bear and they visit the bear then the bear visits the mouse. If someone sees the cat then they visit the cat. If someone visits the mouse then they are big. If someone eats the bear then they eat the cat. If the lion eats the cat then the cat eats the lion. If someone is rough then they visit the bear. If someone sees the lion and they eat the mouse then the lion eats the bear.
The bear does not visit the bear.
@0: The bear is red.[(triple1)] The bear sees the mouse.[(triple2)] The bear visits the lion.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the lion.[(triple5 OR ((((((triple9 triple6) -> rule8)) -> rule5)) -> rule6))] The cat eats the mouse.[(triple6)] The cat is round.[(triple7)] The cat sees the bear.[(triple8)] The cat sees the lion.[(triple9)] The cat visits the bear.[(triple10)] The cat visits the mouse.[(triple11)] The lion eats the mouse.[(triple12)] The lion sees the mouse.[(triple13)] The mouse eats the bear.[(triple14)] The mouse sees the lion.[(triple15)] @1: The bear visits the mouse.[(((triple4 triple10) -> rule2))] The cat eats the cat.[(((triple4) -> rule5))] The cat is big.[(((triple11) -> rule4))] The lion eats the bear.[(((triple9 triple6) -> rule8))] The mouse eats the cat.[(((triple14) -> rule5))] @2: The bear is big.[(((((triple4 triple10) -> rule2)) -> rule4))] The lion eats the cat.[(((((triple9 triple6) -> rule8)) -> rule5))]