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