The lion eats the squirrel. The lion is big. The lion is blue. The lion is cold. The lion is nice. The lion is rough. The lion likes the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel likes the lion. The squirrel visits the lion. If someone eats the squirrel then they visit the squirrel. If someone eats the lion then they visit the lion.
The lion eats the squirrel.
@0: The lion eats the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is nice.[(triple5)] The lion is rough.[(triple6)] The lion likes the squirrel.[(triple7)] The lion visits the squirrel.[(triple8 OR ((triple1) -> rule1))] The squirrel eats the lion.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel visits the lion.[(triple16 OR ((triple9) -> rule2))]