The cow is red. The cow likes the lion. The cow likes the squirrel. The cow sees the lion. The cow sees the squirrel. The cow visits the lion. The cow visits the squirrel. The lion is young. The lion sees the squirrel. The lion visits the cow. The squirrel is big. The squirrel is blue. The squirrel likes the cow. The squirrel sees the lion. The squirrel visits the cow. The squirrel visits the lion. If something likes the cow then the cow likes the squirrel. If something is nice then it likes the lion. If something is young then it sees the cow. If something sees the cow and the cow likes the squirrel then it likes the cow. If the lion likes the squirrel and the squirrel sees the lion then the lion sees the squirrel. If something likes the cow then it likes the lion. If the lion likes the squirrel and the squirrel sees the cow then the squirrel sees the lion. If something sees the lion then the lion is blue.
The lion does not like the lion.
@0: The cow is red.[(triple1)] The cow likes the lion.[(triple2)] The cow likes the squirrel.[(triple3 OR ((triple13) -> rule1))] The cow sees the lion.[(triple4)] The cow sees the squirrel.[(triple5)] The cow visits the lion.[(triple6)] The cow visits the squirrel.[(triple7)] The lion is young.[(triple8)] The lion sees the squirrel.[(triple9)] The lion visits the cow.[(triple10)] The squirrel is big.[(triple11)] The squirrel is blue.[(triple12)] The squirrel likes the cow.[(triple13)] The squirrel sees the lion.[(triple14)] The squirrel visits the cow.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The lion is blue.[(((triple14) -> rule8) OR ((triple4) -> rule8))] The lion sees the cow.[(((triple8) -> rule3))] The squirrel likes the lion.[(((triple13) -> rule6))] @2: The lion likes the cow.[(((((triple8) -> rule3) triple3) -> rule4) OR ((((triple8) -> rule3) ((triple13) -> rule1)) -> rule4))] @3: The lion likes the lion.[(((((((triple8) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple8) -> rule3) ((triple13) -> rule1)) -> rule4)) -> rule6))]