The bald eagle chases the mouse. The bald eagle chases the rabbit. The bald eagle is not blue. The bald eagle does not need the mouse. The bald eagle visits the mouse. The mouse does not chase the rabbit. The mouse is not kind. The mouse is not young. The mouse visits the bald eagle. The rabbit chases the bald eagle. The rabbit chases the mouse. The rabbit is big. The rabbit is rough. The rabbit is young. The rabbit needs the bald eagle. If something visits the bald eagle and the bald eagle visits the mouse then the bald eagle chases the rabbit. If the mouse is young and the mouse chases the bald eagle then the mouse visits the rabbit. If something needs the rabbit and it needs the mouse then the rabbit chases the mouse. If something needs the rabbit then the rabbit chases the mouse. If something is big and blue then it does not need the mouse. If the mouse visits the rabbit then the rabbit visits the mouse. If something is young then it does not chase the rabbit. If something needs the rabbit and it does not visit the rabbit then the rabbit is young.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If something visits the bald eagle and the bald eagle visits the mouse then the bald eagle chases the rabbit.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "mouse" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If the mouse is young and the mouse chases the bald eagle then the mouse visits the rabbit.
((("mouse" "is" "young" "+") ("mouse" "chases" "bald eagle" "+")) -> ("mouse" "visits" "rabbit" "+"))
If something needs the rabbit and it needs the mouse then the rabbit chases the mouse.
((("something" "needs" "rabbit" "+") ("something" "needs" "mouse" "+")) -> ("rabbit" "chases" "mouse" "+"))
If something needs the rabbit then the rabbit chases the mouse.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "chases" "mouse" "+"))
If something is big and blue then it does not need the mouse.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "needs" "mouse" "-"))
If the mouse visits the rabbit then the rabbit visits the mouse.
((("mouse" "visits" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
If something is young then it does not chase the rabbit.
((("something" "is" "young" "+")) -> ("something" "chases" "rabbit" "-"))
If something needs the rabbit and it does not visit the rabbit then the rabbit is young.
((("something" "needs" "rabbit" "+") ("something" "visits" "rabbit" "~")) -> ("rabbit" "is" "young" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple2 OR ((triple9 triple5) -> rule1))]
("bald eagle" "chases" "rabbit" "+")
triple2
((triple9 triple5) -> (rule1 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle is blue.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "blue" "+")
triple3
The rabbit does not visit the mouse.
Unknown
inv-rconc
[@2: The rabbit visits the mouse.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("rabbit" "visits" "mouse" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the rabbit.[(triple2 OR ((triple9 triple5) -> rule1))] The bald eagle does not need the mouse.[(triple4)] The bald eagle is not blue.[(triple3)] The bald eagle visits the mouse.[(triple5)] The mouse does not chase the rabbit.[(triple6)] The mouse is not kind.[(triple7)] The mouse is not young.[(triple8)] The mouse visits the bald eagle.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is big.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the bald eagle.[(triple15)] @1: The rabbit does not chase the rabbit.[(((triple14) -> rule7))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
((triple9 triple5) -> (rule1 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
triple4
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
triple6
The mouse is not kind.
("mouse" "is" "kind" "-")
triple7
The mouse is not young.
("mouse" "is" "young" "-")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple15
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
((triple14) -> (rule7 % int1))
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
int1