The bear does not chase the dog. The bear chases the squirrel. The bear needs the dog. The bear visits the dog. The dog does not chase the tiger. The dog is green. The dog does not need the tiger. The dog visits the bear. The squirrel chases the bear. The squirrel is kind. The squirrel needs the bear. The squirrel visits the tiger. The tiger is big. The tiger is rough. The tiger needs the squirrel. The tiger visits the squirrel. If someone visits the tiger and they are not kind then the tiger is not young. If someone is big then they do not chase the dog.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
The dog is green.
("dog" "is" "green" "+")
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
The dog visits the bear.
("dog" "visits" "bear" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone visits the tiger and they are not kind then the tiger is not young.
((("someone" "visits" "tiger" "+") ("someone" "is" "kind" "~")) -> ("tiger" "is" "young" "-"))
If someone is big then they do not chase the dog.
((("someone" "is" "big" "+")) -> ("someone" "chases" "dog" "-"))
The tiger is rough.
True
1
proof
[(triple14)]
("tiger" "is" "rough" "+")
triple14
The bear does not need the dog.
False
1
inv-proof
[(triple3)]
("bear" "needs" "dog" "-")
triple3
The tiger does not chase the dog.
True
2
proof
[(((triple13) -> rule2))]
("tiger" "chases" "dog" "-")
((triple13) -> (rule2 % int1))
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
int1
The tiger chases the dog.
False
2
inv-proof
[(((triple13) -> rule2))]
("tiger" "chases" "dog" "+")
((triple13) -> (rule2 % int1))
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
int1
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The squirrel chases the dog.
Unknown
random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "+")
@0: The bear chases the squirrel.[(triple2)] The bear does not chase the dog.[(triple1)] The bear needs the dog.[(triple3)] The bear visits the dog.[(triple4)] The dog does not chase the tiger.[(triple5)] The dog does not need the tiger.[(triple7)] The dog is green.[(triple6)] The dog visits the bear.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel is kind.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger is big.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The tiger does not chase the dog.[(((triple13) -> rule2))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
triple5
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
triple7
The dog is green.
("dog" "is" "green" "+")
triple6
The dog visits the bear.
("dog" "visits" "bear" "+")
triple8
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
((triple13) -> (rule2 % int1))
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
int1