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