The bald eagle is round. The bald eagle likes the mouse. The bear likes the rabbit. The bear visits the mouse. The mouse chases the bald eagle. The rabbit chases the bald eagle. The rabbit chases the bear. The rabbit chases the mouse. The rabbit likes the bear. The rabbit likes the mouse. If someone visits the bald eagle and they are green then they like the bald eagle. If someone visits the mouse then they chase the mouse.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If someone visits the bald eagle and they are green then they like the bald eagle.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone visits the mouse then they chase the mouse.
((("someone" "visits" "mouse" "+")) -> ("someone" "chases" "mouse" "+"))
The rabbit chases the bald eagle.
True
1
proof
[(triple6)]
("rabbit" "chases" "bald eagle" "+")
triple6
The bear does not visit the mouse.
False
1
inv-proof
[(triple4)]
("bear" "visits" "mouse" "-")
triple4
The bear chases the mouse.
True
2
proof
[(((triple4) -> rule2))]
("bear" "chases" "mouse" "+")
((triple4) -> (rule2 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear does not chase the mouse.
False
2
inv-proof
[(((triple4) -> rule2))]
("bear" "chases" "mouse" "-")
((triple4) -> (rule2 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The rabbit does not like the bald eagle.
Unknown
inv-rconc
[@1: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "bald eagle" "-")
The bear likes the bald eagle.
Unknown
rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bald eagle" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The mouse visits the bear.
Unknown
random
[@0: The mouse visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bear" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bear likes the rabbit.[(triple3)] The bear visits the mouse.[(triple4)] The mouse chases the bald eagle.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit chases the mouse.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit likes the mouse.[(triple10)] @1: The bear chases the mouse.[(((triple4) -> rule2))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple5
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple6
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple7
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple8
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple9
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple10
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((triple4) -> (rule2 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1