The bald eagle likes the mouse. The bald eagle sees the tiger. The bald eagle visits the bear. The bear likes the tiger. The bear does not see the bald eagle. The bear visits the bald eagle. The bear does not visit the mouse. The mouse is red. The mouse does not like the bald eagle. The mouse likes the bear. The mouse sees the bald eagle. The mouse sees the tiger. The tiger is big. The tiger likes the bear. The tiger likes the mouse. The tiger sees the mouse. If the tiger is nice and the tiger is not red then the tiger does not see the bear. If something visits the bald eagle and the bald eagle visits the bear then it likes the bald eagle.
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If the tiger is nice and the tiger is not red then the tiger does not see the bear.
((("tiger" "is" "nice" "+") ("tiger" "is" "red" "~")) -> ("tiger" "sees" "bear" "-"))
If something visits the bald eagle and the bald eagle visits the bear then it likes the bald eagle.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "bear" "+")) -> ("something" "likes" "bald eagle" "+"))
The bear does not see the bald eagle.
True
1
proof
[(triple5)]
("bear" "sees" "bald eagle" "-")
triple5
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "sees" "tiger" "-")
triple2
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle sees the tiger.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear does not see the bald eagle.[(triple5)] The bear does not visit the mouse.[(triple7)] The bear likes the tiger.[(triple4)] The bear visits the bald eagle.[(triple6)] The mouse does not like the bald eagle.[(triple9)] The mouse is red.[(triple8)] The mouse likes the bear.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the tiger.[(triple12)] The tiger is big.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The bear likes the bald eagle.[(((triple6 triple3) -> rule2))]
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
triple5
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
triple7
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple6
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple10
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple11
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple16
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple6 triple3) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1