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