The bear does not see the dog. The bear visits the squirrel. The dog eats the bear. The dog is young. The dog does not visit the squirrel. The dog visits the tiger. The squirrel eats the bear. The squirrel eats the tiger. The squirrel is big. The tiger does not see the bear. The tiger sees the squirrel. The tiger visits the bear. If the dog is big and the dog visits the bear then the dog visits the squirrel. If the squirrel visits the tiger and the tiger is not rough then the tiger does not eat the bear. If something visits the dog then the dog sees the tiger. If something sees the squirrel and the squirrel sees the tiger then it visits the tiger. If the tiger visits the bear and the tiger sees the bear then the tiger visits the dog. If something is big then it sees the squirrel. If something sees the dog then the dog does not eat the squirrel. If something eats the bear then the bear is nice.
The bear does not see the dog.
("bear" "sees" "dog" "-")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the dog is big and the dog visits the bear then the dog visits the squirrel.
((("dog" "is" "big" "+") ("dog" "visits" "bear" "+")) -> ("dog" "visits" "squirrel" "+"))
If the squirrel visits the tiger and the tiger is not rough then the tiger does not eat the bear.
((("squirrel" "visits" "tiger" "+") ("tiger" "is" "rough" "~")) -> ("tiger" "eats" "bear" "-"))
If something visits the dog then the dog sees the tiger.
((("something" "visits" "dog" "+")) -> ("dog" "sees" "tiger" "+"))
If something sees the squirrel and the squirrel sees the tiger then it visits the tiger.
((("something" "sees" "squirrel" "+") ("squirrel" "sees" "tiger" "+")) -> ("something" "visits" "tiger" "+"))
If the tiger visits the bear and the tiger sees the bear then the tiger visits the dog.
((("tiger" "visits" "bear" "+") ("tiger" "sees" "bear" "+")) -> ("tiger" "visits" "dog" "+"))
If something is big then it sees the squirrel.
((("something" "is" "big" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the dog then the dog does not eat the squirrel.
((("something" "sees" "dog" "+")) -> ("dog" "eats" "squirrel" "-"))
If something eats the bear then the bear is nice.
((("something" "eats" "bear" "+")) -> ("bear" "is" "nice" "+"))
The tiger does not see the bear.
True
1
proof
[(triple10)]
("tiger" "sees" "bear" "-")
triple10
The dog visits the squirrel.
False
1
inv-proof
[(triple5)]
("dog" "visits" "squirrel" "+")
triple5
The dog does not see the tiger.
Unknown
inv-rconc
[@2: The dog sees the tiger.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("dog" "sees" "tiger" "-")
The dog eats the tiger.
Unknown
random
[@0: The dog eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "tiger" "+")
@0: The bear does not see the dog.[(triple1)] The bear visits the squirrel.[(triple2)] The dog does not visit the squirrel.[(triple5)] The dog eats the bear.[(triple3)] The dog is young.[(triple4)] The dog visits the tiger.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel is big.[(triple9)] The tiger does not see the bear.[(triple10)] The tiger sees the squirrel.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bear is nice.[(((triple3) -> rule8) OR ((triple7) -> rule8))] The squirrel sees the squirrel.[(((triple9) -> rule6))]
The bear does not see the dog.
("bear" "sees" "dog" "-")
triple1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple2
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
triple10
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
The bear is nice.
("bear" "is" "nice" "+")
((triple3) -> (rule8 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple7) -> (rule8 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple9) -> (rule6 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1