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