The cow is red. The cow likes the squirrel. The dog likes the lion. The dog needs the cow. The lion is blue. The lion is red. The lion is rough. The lion likes the cow. The lion likes the dog. The lion needs the dog. The lion needs the squirrel. The lion sees the dog. The squirrel needs the cow. The squirrel sees the dog. The squirrel sees the lion. Rough things are red. If something sees the cow and the cow sees the dog then it is young. If something sees the squirrel and it sees the lion then the lion likes the cow. If something is blue then it sees the lion. If something needs the lion then it likes the lion. If something is young and it needs the squirrel then the squirrel likes the lion. If something sees the lion and it is big then it likes the lion. If something likes the cow then the cow likes the lion.
The lion is blue.
@0: The cow is red.[(triple1)] The cow likes the squirrel.[(triple2)] The dog likes the lion.[(triple3)] The dog needs the cow.[(triple4)] The lion is blue.[(triple5)] The lion is red.[(triple6 OR ((triple7) -> rule1))] The lion is rough.[(triple7)] The lion likes the cow.[(triple8)] The lion likes the dog.[(triple9)] The lion needs the dog.[(triple10)] The lion needs the squirrel.[(triple11)] The lion sees the dog.[(triple12)] The squirrel needs the cow.[(triple13)] The squirrel sees the dog.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The cow likes the lion.[(((triple8) -> rule8))] The lion sees the lion.[(((triple5) -> rule4))]