The bald eagle sees the cow. The bear chases the cow. The bear is rough. The bear needs the cow. The cow chases the bald eagle. The cow needs the mouse. The mouse chases the cow. The mouse is blue. The mouse needs the bald eagle. The mouse needs the bear. If something needs the mouse then it chases the cow. If something sees the bald eagle and the bald eagle sees the bear then the bear needs the mouse. If the bear sees the mouse then the bear is kind. If something needs the cow and it chases the mouse then the mouse chases the bear. If something is young and it chases the mouse then it is blue. If something needs the cow then the cow sees the bald eagle. If something needs the cow and the cow needs the bald eagle then it sees the cow. If something sees the bald eagle then the bald eagle chases the mouse.
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If something needs the mouse then it chases the cow.
((("something" "needs" "mouse" "+")) -> ("something" "chases" "cow" "+"))
If something sees the bald eagle and the bald eagle sees the bear then the bear needs the mouse.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If the bear sees the mouse then the bear is kind.
((("bear" "sees" "mouse" "+")) -> ("bear" "is" "kind" "+"))
If something needs the cow and it chases the mouse then the mouse chases the bear.
((("something" "needs" "cow" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If something is young and it chases the mouse then it is blue.
((("something" "is" "young" "+") ("something" "chases" "mouse" "+")) -> ("something" "is" "blue" "+"))
If something needs the cow then the cow sees the bald eagle.
((("something" "needs" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If something needs the cow and the cow needs the bald eagle then it sees the cow.
((("something" "needs" "cow" "+") ("cow" "needs" "bald eagle" "+")) -> ("something" "sees" "cow" "+"))
If something sees the bald eagle then the bald eagle chases the mouse.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
The bear is rough.
True
1
proof
[(triple3)]
("bear" "is" "rough" "+")
triple3
The mouse is not blue.
False
1
inv-proof
[(triple8)]
("mouse" "is" "blue" "-")
triple8
The cow sees the bald eagle.
True
2
proof
[(((triple4) -> rule6))]
("cow" "sees" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple6) -> rule1))]
("cow" "chases" "cow" "-")
((triple6) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The bald eagle chases the mouse.
True
3
proof
[(((((triple4) -> rule6)) -> rule8))]
("bald eagle" "chases" "mouse" "+")
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The bald eagle does not chase the mouse.
False
3
inv-proof
[(((((triple4) -> rule6)) -> rule8))]
("bald eagle" "chases" "mouse" "-")
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The cow sees the cow.
Unknown
rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "sees" "cow" "+")
The mouse does not see the cow.
Unknown
inv-rconc
[@1: The mouse sees the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "sees" "cow" "-")
The bear sees the mouse.
Unknown
random
[@0: The bear sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "mouse" "+")
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 cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bald eagle sees the cow.[(triple1)] The bear chases the cow.[(triple2)] The bear is rough.[(triple3)] The bear needs the cow.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow needs the mouse.[(triple6)] The mouse chases the cow.[(triple7)] The mouse is blue.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse needs the bear.[(triple10)] @1: The cow chases the cow.[(((triple6) -> rule1))] The cow sees the bald eagle.[(((triple4) -> rule6))] @2: The bald eagle chases the mouse.[(((((triple4) -> rule6)) -> rule8))]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The bear chases the cow.
("bear" "chases" "cow" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear needs the cow.
("bear" "needs" "cow" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple6
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple9
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple10
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple6) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2