The bald eagle is rough. The bald eagle is young. The bald eagle likes the cow. The cow sees the bald eagle. The mouse chases the rabbit. The mouse sees the rabbit. The rabbit sees the mouse. If someone is young and they see the cow then the cow is rough. If someone likes the mouse then they see the mouse. If someone sees the mouse and the mouse is kind then they like the rabbit. If someone is young and they see the rabbit then the rabbit is young. If someone chases the rabbit then the rabbit chases the mouse. If someone likes the cow then they are young. If the mouse likes the cow then the mouse is big. If someone sees the cow then they see the mouse.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone is young and they see the cow then the cow is rough.
((("someone" "is" "young" "+") ("someone" "sees" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone likes the mouse then they see the mouse.
((("someone" "likes" "mouse" "+")) -> ("someone" "sees" "mouse" "+"))
If someone sees the mouse and the mouse is kind then they like the rabbit.
((("someone" "sees" "mouse" "+") ("mouse" "is" "kind" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is young and they see the rabbit then the rabbit is young.
((("someone" "is" "young" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If someone chases the rabbit then the rabbit chases the mouse.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "mouse" "+"))
If someone likes the cow then they are young.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "young" "+"))
If the mouse likes the cow then the mouse is big.
((("mouse" "likes" "cow" "+")) -> ("mouse" "is" "big" "+"))
If someone sees the cow then they see the mouse.
((("someone" "sees" "cow" "+")) -> ("someone" "sees" "mouse" "+"))
The rabbit sees the mouse.
True
1
proof
[(triple7)]
("rabbit" "sees" "mouse" "+")
triple7
The bald eagle is not rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "-")
triple1
The rabbit is not young.
Unknown
inv-rconc
[@2: The rabbit is young.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("rabbit" "is" "young" "-")
The mouse likes the bald eagle.
Unknown
random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2 OR ((triple3) -> rule6))] The bald eagle likes the cow.[(triple3)] The cow sees the bald eagle.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse sees the rabbit.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The rabbit chases the mouse.[(((triple5) -> rule5))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
((triple3) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple4
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple6
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple7
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((triple5) -> (rule5 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1