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