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