The bald eagle sees the rabbit. The bear sees the bald eagle. The cow likes the rabbit. The rabbit chases the bear. If someone chases the bear then they see the bald eagle. If someone chases the bear then they see the bald eagle. If someone sees the rabbit and they chase the bear then they are blue.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
If someone chases the bear then they see the bald eagle.
((("someone" "chases" "bear" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the bear then they see the bald eagle.
((("someone" "chases" "bear" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the rabbit and they chase the bear then they are blue.
((("someone" "sees" "rabbit" "+") ("someone" "chases" "bear" "+")) -> ("someone" "is" "blue" "+"))
The cow likes the rabbit.
True
1
proof
[(triple3)]
("cow" "likes" "rabbit" "+")
triple3
The bear does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "sees" "bald eagle" "-")
triple2
The rabbit sees the bald eagle.
True
2
proof
[(((triple4) -> rule1) OR ((triple4) -> rule2))]
("rabbit" "sees" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
((triple4) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple4) -> rule2))]
("rabbit" "sees" "bald eagle" "-")
((triple4) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
((triple4) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "blue" "-")
The cow sees the bald eagle.
Unknown
rconc
[@1: The cow sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "bald eagle" "+")
The bald eagle does not like the cow.
Unknown
inv-random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "-")
The bear likes the bald eagle.
Unknown
random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The bear sees the bald eagle.[(triple2)] The cow likes the rabbit.[(triple3)] The rabbit chases the bear.[(triple4)] @1: The rabbit sees the bald eagle.[(((triple4) -> rule1) OR ((triple4) -> rule2))]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple4
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
((triple4) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1