The bear eats the cow. The bear eats the dog. The bear is green. The bear visits the dog. The cow eats the squirrel. The cow sees the dog. The cow does not visit the squirrel. The dog visits the cow. The dog visits the squirrel. The squirrel is rough. The squirrel sees the dog. The squirrel visits the bear. If someone is green and they eat the bear then the bear is rough. If the cow sees the dog then the dog is young. If the cow is young then the cow visits the squirrel. If the cow eats the squirrel and the cow does not see the bear then the cow is round. If the dog sees the cow and the cow eats the squirrel then the cow sees the squirrel. Round people are not young. If someone is young then they see the cow. If the squirrel visits the bear and the bear is rough then the bear eats the squirrel.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
The dog visits the cow.
("dog" "visits" "cow" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone is green and they eat the bear then the bear is rough.
((("someone" "is" "green" "+") ("someone" "eats" "bear" "+")) -> ("bear" "is" "rough" "+"))
If the cow sees the dog then the dog is young.
((("cow" "sees" "dog" "+")) -> ("dog" "is" "young" "+"))
If the cow is young then the cow visits the squirrel.
((("cow" "is" "young" "+")) -> ("cow" "visits" "squirrel" "+"))
If the cow eats the squirrel and the cow does not see the bear then the cow is round.
((("cow" "eats" "squirrel" "+") ("cow" "sees" "bear" "~")) -> ("cow" "is" "round" "+"))
If the dog sees the cow and the cow eats the squirrel then the cow sees the squirrel.
((("dog" "sees" "cow" "+") ("cow" "eats" "squirrel" "+")) -> ("cow" "sees" "squirrel" "+"))
Round people are not young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "-"))
If someone is young then they see the cow.
((("someone" "is" "young" "+")) -> ("someone" "sees" "cow" "+"))
If the squirrel visits the bear and the bear is rough then the bear eats the squirrel.
((("squirrel" "visits" "bear" "+") ("bear" "is" "rough" "+")) -> ("bear" "eats" "squirrel" "+"))
The bear is green.
True
1
proof
[(triple3)]
("bear" "is" "green" "+")
triple3
The bear does not visit the dog.
False
1
inv-proof
[(triple4)]
("bear" "visits" "dog" "-")
triple4
The dog is young.
True
2
proof
[(((triple6) -> rule2))]
("dog" "is" "young" "+")
((triple6) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
2
inv-proof
[(((triple6) -> rule2))]
("dog" "is" "young" "-")
((triple6) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the cow.
True
3
proof
[(((((triple6) -> rule2)) -> rule7))]
("dog" "sees" "cow" "+")
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog does not see the cow.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule7))]
("dog" "sees" "cow" "-")
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The cow sees the squirrel.
True
5
proof
[(((((((triple6) -> rule2)) -> rule7) triple5) -> rule5))]
("cow" "sees" "squirrel" "+")
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The cow does not see the squirrel.
False
5
inv-proof
[(((((((triple6) -> rule2)) -> rule7) triple5) -> rule5))]
("cow" "sees" "squirrel" "-")
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "round" "-")
The bear sees the cow.
Unknown
rconc
[@1: The bear sees the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "sees" "cow" "+")
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "-")
The bear eats the squirrel.
Unknown
rconc
[@2: The bear eats the squirrel.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("bear" "eats" "squirrel" "+")
The bear does not see the dog.
Unknown
inv-random
[@0: The bear sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "dog" "-")
The dog sees the bear.
Unknown
random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the dog.[(triple2)] The bear is green.[(triple3)] The bear visits the dog.[(triple4)] The cow does not visit the squirrel.[(triple7)] The cow eats the squirrel.[(triple5)] The cow sees the dog.[(triple6)] The dog visits the cow.[(triple8)] The dog visits the squirrel.[(triple9)] The squirrel is rough.[(triple10)] The squirrel sees the dog.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The dog is young.[(((triple6) -> rule2))] @2: The dog sees the cow.[(((((triple6) -> rule2)) -> rule7))] @3: The cow sees the squirrel.[(((((((triple6) -> rule2)) -> rule7) triple5) -> rule5))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
triple7
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple5
The cow sees the dog.
("cow" "sees" "dog" "+")
triple6
The dog visits the cow.
("dog" "visits" "cow" "+")
triple8
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple11
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple12
The dog is young.
("dog" "is" "young" "+")
((triple6) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3