The bald eagle chases the rabbit. The bear is big. The dog likes the bear. The rabbit chases the bear. If someone is red then they like the bear. If the dog likes the bald eagle then the dog is round. If the bear eats the rabbit then the bear is green. If someone eats the dog then the dog eats the bald eagle. If someone likes the bear then they eat the bald eagle. If someone chases the dog then the dog likes the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
If someone is red then they like the bear.
((("someone" "is" "red" "+")) -> ("someone" "likes" "bear" "+"))
If the dog likes the bald eagle then the dog is round.
((("dog" "likes" "bald eagle" "+")) -> ("dog" "is" "round" "+"))
If the bear eats the rabbit then the bear is green.
((("bear" "eats" "rabbit" "+")) -> ("bear" "is" "green" "+"))
If someone eats the dog then the dog eats the bald eagle.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
If someone likes the bear then they eat the bald eagle.
((("someone" "likes" "bear" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone chases the dog then the dog likes the bald eagle.
((("someone" "chases" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "chases" "rabbit" "+")
triple1
The bear is not big.
False
1
inv-proof
[(triple2)]
("bear" "is" "big" "-")
triple2
The dog eats the bald eagle.
True
2
proof
[(((triple3) -> rule5))]
("dog" "eats" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog does not eat the bald eagle.
False
2
inv-proof
[(((triple3) -> rule5))]
("dog" "eats" "bald eagle" "-")
((triple3) -> (rule5 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The bald eagle does not like the bear.
Unknown
inv-rconc
[@1: The bald eagle likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bear" "-")
The rabbit likes the bear.
Unknown
rconc
[@1: The rabbit likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "bear" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle likes the rabbit.
Unknown
random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bear is big.[(triple2)] The dog likes the bear.[(triple3)] The rabbit chases the bear.[(triple4)] @1: The dog eats the bald eagle.[(((triple3) -> rule5))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The dog likes the bear.
("dog" "likes" "bear" "+")
triple3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1