The cat eats the squirrel. The cat is round. The cat needs the dog. The cat needs the squirrel. The dog likes the cat. The dog likes the tiger. The squirrel is blue. The squirrel is not round. The tiger is blue. The tiger is kind. The tiger is round. The tiger needs the squirrel. If something likes the tiger and the tiger needs the dog then it is round. If something eats the cat then it needs the dog. If something is big then it needs the dog. If the dog likes the tiger and the tiger likes the dog then the dog does not like the squirrel. If something is round then it eats the cat. If something needs the cat and it eats the tiger then the tiger needs the dog. If something needs the dog and it does not eat the tiger then it is blue. If the dog is round then the dog eats the squirrel. If something likes the tiger and it is kind then the tiger likes the cat.
The tiger does not need the dog.
@0: The cat eats the squirrel.[(triple1)] The cat is round.[(triple2)] The cat needs the dog.[(triple3 OR ((((triple2) -> rule5)) -> rule2))] The cat needs the squirrel.[(triple4)] The dog likes the cat.[(triple5)] The dog likes the tiger.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is not round.[(triple8)] The tiger is blue.[(triple9)] The tiger is kind.[(triple10)] The tiger is round.[(triple11)] The tiger needs the squirrel.[(triple12)] @1: The cat eats the cat.[(((triple2) -> rule5))] The tiger eats the cat.[(((triple11) -> rule5))] @2: The tiger needs the dog.[(((((triple11) -> rule5)) -> rule2))] @3: The dog is round.[(((triple6 ((((triple11) -> rule5)) -> rule2)) -> rule1))] @4: The dog eats the cat.[(((((triple6 ((((triple11) -> rule5)) -> rule2)) -> rule1)) -> rule5))] The dog eats the squirrel.[(((((triple6 ((((triple11) -> rule5)) -> rule2)) -> rule1)) -> rule8))] @5: The dog needs the dog.[(((((((triple6 ((((triple11) -> rule5)) -> rule2)) -> rule1)) -> rule5)) -> rule2))]