The bald eagle needs the dog. The bald eagle sees the bear. The bald eagle does not see the dog. The bear is cold. The dog sees the bald eagle. The dog sees the squirrel. The squirrel is rough. If something eats the squirrel then it sees the bear. If something is rough and it needs the bear then the bear sees the bald eagle. If something eats the squirrel then it eats the bear. If something eats the bear then it eats the bald eagle. If the dog needs the bear and the dog is not cold then the bear is rough. If something needs the dog then the dog eats the squirrel.
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
The bear is cold.
("bear" "is" "cold" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If something eats the squirrel then it sees the bear.
((("something" "eats" "squirrel" "+")) -> ("something" "sees" "bear" "+"))
If something is rough and it needs the bear then the bear sees the bald eagle.
((("something" "is" "rough" "+") ("something" "needs" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something eats the squirrel then it eats the bear.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "bear" "+"))
If something eats the bear then it eats the bald eagle.
((("something" "eats" "bear" "+")) -> ("something" "eats" "bald eagle" "+"))
If the dog needs the bear and the dog is not cold then the bear is rough.
((("dog" "needs" "bear" "+") ("dog" "is" "cold" "~")) -> ("bear" "is" "rough" "+"))
If something needs the dog then the dog eats the squirrel.
((("something" "needs" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
The bald eagle needs the dog.
True
1
proof
[(triple1)]
("bald eagle" "needs" "dog" "+")
triple1
The dog does not see the squirrel.
False
1
inv-proof
[(triple6)]
("dog" "sees" "squirrel" "-")
triple6
The dog eats the squirrel.
True
2
proof
[(((triple1) -> rule6))]
("dog" "eats" "squirrel" "+")
((triple1) -> (rule6 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog does not eat the squirrel.
False
2
inv-proof
[(((triple1) -> rule6))]
("dog" "eats" "squirrel" "-")
((triple1) -> (rule6 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog sees the bear.
True
3
proof
[(((((triple1) -> rule6)) -> rule1))]
("dog" "sees" "bear" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog does not see the bear.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1))]
("dog" "sees" "bear" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog eats the bald eagle.
True
4
proof
[(((((((triple1) -> rule6)) -> rule3)) -> rule4))]
("dog" "eats" "bald eagle" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The dog does not eat the bald eagle.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule3)) -> rule4))]
("dog" "eats" "bald eagle" "-")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bear is rough.
Unknown
rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "rough" "+")
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bear" "-")
The bear eats the bald eagle.
Unknown
rconc
[@2: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("bear" "eats" "bald eagle" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The bald eagle eats the squirrel.
Unknown
random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bald eagle does not see the dog.[(triple3)] The bald eagle needs the dog.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is cold.[(triple4)] The dog sees the bald eagle.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel is rough.[(triple7)] @1: The dog eats the squirrel.[(((triple1) -> rule6))] @2: The dog eats the bear.[(((((triple1) -> rule6)) -> rule3))] The dog sees the bear.[(((((triple1) -> rule6)) -> rule1))] @3: The dog eats the bald eagle.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))]
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple4
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple5
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple6
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple7
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple1) -> (rule6 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog sees the bear.
("dog" "sees" "bear" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3