The bald eagle chases the bear. The bald eagle is red. The bear visits the bald eagle. If something visits the bear then the bear sees the bald eagle. If something sees the bear then the bear chases the bald eagle. If something sees the bald eagle then the bald eagle sees the bear. If something visits the bald eagle then the bald eagle sees the bear. If something sees the bald eagle then the bald eagle chases the bear. If something sees the bald eagle and the bald eagle sees the bear then the bear chases the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
If something visits the bear then the bear sees the bald eagle.
((("something" "visits" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something sees the bear then the bear chases the bald eagle.
((("something" "sees" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
If something sees the bald eagle then the bald eagle sees the bear.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "bear" "+"))
If something visits the bald eagle then the bald eagle sees the bear.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "bear" "+"))
If something sees the bald eagle then the bald eagle chases the bear.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
If something sees the bald eagle and the bald eagle sees the bear then the bear chases the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
The bald eagle chases the bear.
True
1
proof
[(triple1)]
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is not red.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "red" "-")
triple2
The bald eagle sees the bear.
True
2
proof
[(((triple3) -> rule4))]
("bald eagle" "sees" "bear" "+")
((triple3) -> (rule4 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle does not see the bear.
False
2
inv-proof
[(((triple3) -> rule4))]
("bald eagle" "sees" "bear" "-")
((triple3) -> (rule4 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear chases the bald eagle.
True
3
proof
[(((((triple3) -> rule4)) -> rule2))]
("bear" "chases" "bald eagle" "+")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bear does not chase the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule2))]
("bear" "chases" "bald eagle" "-")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The bald eagle does not visit the bear.
Unknown
inv-random
[@0: The bald eagle visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bear" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is red.[(triple2)] The bear visits the bald eagle.[(triple3)] @1: The bald eagle sees the bear.[(((triple3) -> rule4))] @2: The bear chases the bald eagle.[(((((triple3) -> rule4)) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple3) -> (rule4 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2