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