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