The lion is kind. The lion is red. The lion likes the squirrel. The lion likes the tiger. The lion visits the tiger. The squirrel eats the lion. The squirrel is big. The squirrel is round. The squirrel likes the lion. The tiger eats the lion. The tiger eats the squirrel. The tiger is blue. The tiger is red. The tiger is round. The tiger visits the lion. If someone is kind then they visit the lion. If the squirrel is round and the squirrel visits the lion then the squirrel likes the tiger. All big people are kind. If someone eats the tiger and the tiger likes the squirrel then the squirrel likes the lion. If someone is round then they like the squirrel. If someone is round and red then they like the tiger.
The squirrel visits the lion.
@0: The lion is kind.[(triple1)] The lion is red.[(triple2)] The lion likes the squirrel.[(triple3)] The lion likes the tiger.[(triple4)] The lion visits the tiger.[(triple5)] The squirrel eats the lion.[(triple6)] The squirrel is big.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the lion.[(triple9)] The tiger eats the lion.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger is blue.[(triple12)] The tiger is red.[(triple13)] The tiger is round.[(triple14)] The tiger visits the lion.[(triple15)] @1: The lion visits the lion.[(((triple1) -> rule1))] The squirrel is kind.[(((triple7) -> rule3))] The squirrel likes the squirrel.[(((triple8) -> rule5))] The tiger likes the squirrel.[(((triple14) -> rule5))] The tiger likes the tiger.[(((triple14 triple13) -> rule6))] @2: The squirrel visits the lion.[(((((triple7) -> rule3)) -> rule1))] @3: The squirrel likes the tiger.[(((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule2))]