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