The bald eagle sees the rabbit. The cow eats the bald eagle. The cow is nice. The cow sees the bald eagle. The mouse chases the cow. The mouse chases the rabbit. The mouse eats the bald eagle. The mouse sees the cow. The mouse sees the rabbit. The rabbit chases the mouse. If something chases the bald eagle and it sees the bald eagle then it sees the rabbit. If something eats the bald eagle then it chases the bald eagle.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
If something chases the bald eagle and it sees the bald eagle then it sees the rabbit.
((("something" "chases" "bald eagle" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "sees" "rabbit" "+"))
If something eats the bald eagle then it chases the bald eagle.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
The cow is nice.
True
1
proof
[(triple3)]
("cow" "is" "nice" "+")
triple3
The rabbit does not chase the mouse.
False
1
inv-proof
[(triple10)]
("rabbit" "chases" "mouse" "-")
triple10
The mouse chases the bald eagle.
True
2
proof
[(((triple7) -> rule2))]
("mouse" "chases" "bald eagle" "+")
((triple7) -> (rule2 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The cow does not chase the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "chases" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow sees the rabbit.
True
4
proof
[(((((triple2) -> rule2) triple4) -> rule1))]
("cow" "sees" "rabbit" "+")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow does not see the rabbit.
False
4
inv-proof
[(((((triple2) -> rule2) triple4) -> rule1))]
("cow" "sees" "rabbit" "-")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The rabbit does not chase the bald eagle.
Unknown
inv-rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
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 = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The cow eats the bald eagle.[(triple2)] The cow is nice.[(triple3)] The cow sees the bald eagle.[(triple4)] The mouse chases the cow.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse sees the cow.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit chases the mouse.[(triple10)] @1: The cow chases the bald eagle.[(((triple2) -> rule2))] The mouse chases the bald eagle.[(((triple7) -> rule2))] @2: The cow sees the rabbit.[(((((triple2) -> rule2) triple4) -> rule1))]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple4
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple5
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple6
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple8
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple9
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple10
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((triple7) -> (rule2 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2