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