The dog is green. The dog likes the squirrel. The dog needs the lion. The dog needs the squirrel. The lion is kind. The lion likes the dog. The lion needs the dog. The lion sees the squirrel. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel likes the lion. The squirrel needs the dog. The squirrel needs the lion. The squirrel sees the dog. If something is kind and it needs the dog then the dog is blue. If something likes the lion and it sees the squirrel then the squirrel sees the dog. If something needs the lion and it needs the dog then the lion sees the squirrel.
The lion sees the lion.
@0: The dog is green.[(triple1)] The dog likes the squirrel.[(triple2)] The dog needs the lion.[(triple3)] The dog needs the squirrel.[(triple4)] The lion is kind.[(triple5)] The lion likes the dog.[(triple6)] The lion needs the dog.[(triple7)] The lion sees the squirrel.[(triple8 OR ((triple15 triple14) -> rule3))] The squirrel is blue.[(triple9)] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the lion.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel needs the lion.[(triple15)] The squirrel sees the dog.[(triple16)] @1: The dog is blue.[(((triple5 triple7) -> rule1))]