The dog eats the lion. The dog eats the tiger. The dog does not like the lion. The dog needs the tiger. The lion eats the dog. The lion is kind. The lion is nice. The lion is red. The lion likes the tiger. The lion needs the dog. The lion does not need the squirrel. The lion needs the tiger. The squirrel eats the tiger. The squirrel is red. The squirrel needs the lion. The tiger likes the dog. If the lion is not nice then the lion eats the dog. If something needs the dog and it needs the lion then the dog is kind. If something is blue and it needs the tiger then it likes the tiger. All kind things are blue. If something needs the tiger then it needs the lion. If the squirrel eats the tiger and the squirrel is not rough then the tiger is blue. If something likes the tiger and the tiger is nice then it needs the dog. If the lion likes the tiger then the tiger likes the dog.
The squirrel does not need the squirrel.
@0: The dog does not like the lion.[(triple3)] The dog eats the lion.[(triple1)] The dog eats the tiger.[(triple2)] The dog needs the tiger.[(triple4)] The lion does not need the squirrel.[(triple11)] The lion eats the dog.[(triple5)] The lion is kind.[(triple6)] The lion is nice.[(triple7)] The lion is red.[(triple8)] The lion likes the tiger.[(triple9 OR ((((triple6) -> rule4) triple12) -> rule3))] The lion needs the dog.[(triple10)] The lion needs the tiger.[(triple12)] The squirrel eats the tiger.[(triple13)] The squirrel is red.[(triple14)] The squirrel needs the lion.[(triple15)] The tiger likes the dog.[(triple16 OR ((triple9) -> rule8) OR ((((((triple6) -> rule4) triple12) -> rule3)) -> rule8))] @1: The dog needs the lion.[(((triple4) -> rule5))] The lion is blue.[(((triple6) -> rule4))] The lion needs the lion.[(((triple12) -> rule5))] @2: The dog is kind.[(((triple10 ((triple12) -> rule5)) -> rule2))] @3: The dog is blue.[(((((triple10 ((triple12) -> rule5)) -> rule2)) -> rule4))] @4: The dog likes the tiger.[(((((((triple10 ((triple12) -> rule5)) -> rule2)) -> rule4) triple4) -> rule3))]