The bear is blue. The bear likes the lion. The cow eats the bear. The cow is kind. The cow is nice. The cow is red. The cow likes the bear. The cow likes the lion. The cow likes the squirrel. The cow needs the lion. The cow needs the squirrel. The lion is red. The lion likes the bear. The lion needs the bear. The squirrel is nice. The squirrel likes the bear. If something needs the cow then the cow eats the squirrel. If something likes the bear and it eats the bear then the bear needs the squirrel. If something eats the bear then it needs the cow. If the cow eats the squirrel then the squirrel is round. If the squirrel likes the cow and the squirrel eats the cow then the squirrel eats the lion. If something likes the lion then it needs the bear.
The cow eats the squirrel.
@0: The bear is blue.[(triple1)] The bear likes the lion.[(triple2)] The cow eats the bear.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow likes the bear.[(triple7)] The cow likes the lion.[(triple8)] The cow likes the squirrel.[(triple9)] The cow needs the lion.[(triple10)] The cow needs the squirrel.[(triple11)] The lion is red.[(triple12)] The lion likes the bear.[(triple13)] The lion needs the bear.[(triple14)] The squirrel is nice.[(triple15)] The squirrel likes the bear.[(triple16)] @1: The bear needs the bear.[(((triple2) -> rule6))] The bear needs the squirrel.[(((triple7 triple3) -> rule2))] The cow needs the bear.[(((triple8) -> rule6))] The cow needs the cow.[(((triple3) -> rule3))] @2: The cow eats the squirrel.[(((((triple3) -> rule3)) -> rule1))] @3: The squirrel is round.[(((((((triple3) -> rule3)) -> rule1)) -> rule4))]