The bear eats the squirrel. The bear is nice. The bear visits the lion. The cat eats the bear. The cat eats the lion. The cat likes the lion. The lion is green. The lion likes the bear. The squirrel eats the lion. The squirrel likes the bear. The squirrel visits the bear. The squirrel visits the cat. If something eats the squirrel then it is big. All green things are nice. If something is big and it eats the squirrel then the squirrel is red. If something eats the bear then it likes the lion. If the lion is green and the lion is blue then the lion likes the cat. If something is blue then it likes the squirrel. If something is red and it eats the lion then the lion likes the cat. If something likes the cat then it eats the squirrel.
The squirrel eats the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is nice.[(triple2)] The bear visits the lion.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the lion.[(triple5)] The cat likes the lion.[(triple6 OR ((triple4) -> rule4))] The lion is green.[(triple7)] The lion likes the bear.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel visits the bear.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The bear is big.[(((triple1) -> rule1))] The lion is nice.[(((triple7) -> rule2))] @2: The squirrel is red.[(((((triple1) -> rule1) triple1) -> rule3))] @3: The lion likes the cat.[(((((((triple1) -> rule1) triple1) -> rule3) triple9) -> rule7))] @4: The lion eats the squirrel.[(((((((((triple1) -> rule1) triple1) -> rule3) triple9) -> rule7)) -> rule8))] @5: The lion is big.[(((((((((((triple1) -> rule1) triple1) -> rule3) triple9) -> rule7)) -> rule8)) -> rule1))]