The bald eagle chases the bear. The bald eagle is green. The bald eagle sees the bear. The bear eats the cow. The bear is blue. The bear sees the bald eagle. The cow chases the bear. The cow eats the bear. The cow is big. The cow is round. If something is blue then it chases the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
If something is blue then it chases the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "chases" "bald eagle" "+"))
The bear eats the cow.
True
1
proof
[(triple4)]
("bear" "eats" "cow" "+")
triple4
The cow does not eat the bear.
False
1
inv-proof
[(triple8)]
("cow" "eats" "bear" "-")
triple8
The bear chases the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("bear" "chases" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not chase the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "chases" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cow chases the bald eagle.
Unknown
rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The bear sees the cow.
Unknown
random
[@0: The bear sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cow" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear eats the cow.[(triple4)] The bear is blue.[(triple5)] The bear sees the bald eagle.[(triple6)] The cow chases the bear.[(triple7)] The cow eats the bear.[(triple8)] The cow is big.[(triple9)] The cow is round.[(triple10)] @1: The bear chases the bald eagle.[(((triple5) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear eats the cow.
("bear" "eats" "cow" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple8
The cow is big.
("cow" "is" "big" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1