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