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