The bald eagle is big. The bald eagle likes the cat. The cat does not eat the dog. The cat eats the mouse. The dog likes the cat. The mouse eats the cat. The mouse is nice. If the dog is not rough and the dog does not eat the cat then the dog eats the mouse. If something visits the mouse then the mouse visits the cat. If the bald eagle visits the dog then the bald eagle likes the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat does not eat the dog.
("cat" "eats" "dog" "-")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
If the dog is not rough and the dog does not eat the cat then the dog eats the mouse.
((("dog" "is" "rough" "~") ("dog" "eats" "cat" "~")) -> ("dog" "eats" "mouse" "+"))
If something visits the mouse then the mouse visits the cat.
((("something" "visits" "mouse" "+")) -> ("mouse" "visits" "cat" "+"))
If the bald eagle visits the dog then the bald eagle likes the cat.
((("bald eagle" "visits" "dog" "+")) -> ("bald eagle" "likes" "cat" "+"))
The dog likes the cat.
True
1
proof
[(triple5)]
("dog" "likes" "cat" "+")
triple5
The cat eats the dog.
False
1
inv-proof
[(triple3)]
("cat" "eats" "dog" "+")
triple3
The dog does not eat the mouse.
Unknown
inv-rconc
[@1: The dog eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "mouse" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat does not eat the dog.[(triple3)] The cat eats the mouse.[(triple4)] The dog likes the cat.[(triple5)] The mouse eats the cat.[(triple6)] The mouse is nice.[(triple7)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The cat does not eat the dog.
("cat" "eats" "dog" "-")
triple3
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple4
The dog likes the cat.
("dog" "likes" "cat" "+")
triple5
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7