The bald eagle sees the rabbit. The bear is young. The bear sees the rabbit. The dog chases the bald eagle. The dog sees the bear. The rabbit is round. The rabbit likes the bear. If the bald eagle chases the bear and the bear likes the bald eagle then the bear sees the bald eagle.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If the bald eagle chases the bear and the bear likes the bald eagle then the bear sees the bald eagle.
((("bald eagle" "chases" "bear" "+") ("bear" "likes" "bald eagle" "+")) -> ("bear" "sees" "bald eagle" "+"))
The bald eagle sees the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "sees" "rabbit" "+")
triple1
The rabbit is not round.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "round" "-")
triple6
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The bear is young.[(triple2)] The bear sees the rabbit.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog sees the bear.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the bear.[(triple7)]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple4
The dog sees the bear.
("dog" "sees" "bear" "+")
triple5
The rabbit is round.
("rabbit" "is" "round" "+")
triple6
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple7