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