The cat chases the lion. The cat eats the lion. The cat eats the squirrel. The cat visits the squirrel. The lion chases the squirrel. The lion is round. The squirrel eats the cat. The squirrel eats the lion. The squirrel visits the cat. The squirrel visits the lion. If someone eats the lion then they are big. If someone visits the lion and the lion chases the cat then the cat eats the squirrel. If someone is big then they visit the lion. If someone is kind and round then they eat the lion. If the cat chases the squirrel then the squirrel chases the cat. If someone is round then they visit the squirrel. If someone is big then they visit the cat. If someone visits the squirrel and they visit the cat then the squirrel is kind.
The cat is not green.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat eats the squirrel.[(triple3)] The cat visits the squirrel.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is round.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel visits the cat.[(triple9 OR ((((triple8) -> rule1)) -> rule7))] The squirrel visits the lion.[(triple10 OR ((((triple8) -> rule1)) -> rule3))] @1: The cat is big.[(((triple2) -> rule1))] The lion visits the squirrel.[(((triple6) -> rule6))] The squirrel is big.[(((triple8) -> rule1))] @2: The cat visits the cat.[(((((triple2) -> rule1)) -> rule7))] The cat visits the lion.[(((((triple2) -> rule1)) -> rule3))] @3: The squirrel is kind.[(((triple4 ((((triple2) -> rule1)) -> rule7)) -> rule8))]