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