The bald eagle sees the bear. The bear does not visit the bald eagle. The mouse visits the tiger. The tiger is kind. If someone likes the mouse then they visit the tiger. If someone visits the bald eagle and they are not kind then the bald eagle likes the mouse. If someone is kind then they do not like the tiger.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If someone likes the mouse then they visit the tiger.
((("someone" "likes" "mouse" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the bald eagle and they are not kind then the bald eagle likes the mouse.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "kind" "~")) -> ("bald eagle" "likes" "mouse" "+"))
If someone is kind then they do not like the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "tiger" "-"))
The tiger is kind.
True
1
proof
[(triple4)]
("tiger" "is" "kind" "+")
triple4
The mouse does not visit the tiger.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "tiger" "-")
triple3
The bear does not visit the tiger.
Unknown
inv-rconc
[@1: The bear visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "tiger" "-")
The bear likes the tiger.
Unknown
random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear does not visit the bald eagle.[(triple2)] The mouse visits the tiger.[(triple3)] The tiger is kind.[(triple4)] @1: The tiger does not like the tiger.[(((triple4) -> rule3))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
triple2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
triple4
The tiger does not like the tiger.
("tiger" "likes" "tiger" "-")
((triple4) -> (rule3 % int1))
The tiger does not like the tiger.
("tiger" "likes" "tiger" "-")
int1