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