The bald eagle eats the cat. The bald eagle is blue. The cat is big. The cow eats the squirrel. The cow sees the squirrel. The squirrel eats the cow. The squirrel is kind. If someone eats the bald eagle then the bald eagle is red. If the squirrel needs the cat and the cat eats the bald eagle then the cat eats the squirrel. If the bald eagle is young then the bald eagle is red. If someone needs the squirrel then they are kind. If someone eats the cat then they eat the bald eagle. If someone sees the cow then the cow sees the squirrel. If the cat needs the bald eagle and the cat eats the bald eagle then the bald eagle needs the squirrel. Young, red people are kind.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cat is big.
("cat" "is" "big" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone eats the bald eagle then the bald eagle is red.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If the squirrel needs the cat and the cat eats the bald eagle then the cat eats the squirrel.
((("squirrel" "needs" "cat" "+") ("cat" "eats" "bald eagle" "+")) -> ("cat" "eats" "squirrel" "+"))
If the bald eagle is young then the bald eagle is red.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "is" "red" "+"))
If someone needs the squirrel then they are kind.
((("someone" "needs" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the cat then they eat the bald eagle.
((("someone" "eats" "cat" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone sees the cow then the cow sees the squirrel.
((("someone" "sees" "cow" "+")) -> ("cow" "sees" "squirrel" "+"))
If the cat needs the bald eagle and the cat eats the bald eagle then the bald eagle needs the squirrel.
((("cat" "needs" "bald eagle" "+") ("cat" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
Young, red people are kind.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
The cow sees the squirrel.
True
1
proof
[(triple5)]
("cow" "sees" "squirrel" "+")
triple5
The cow does not see the squirrel.
False
1
inv-proof
[(triple5)]
("cow" "sees" "squirrel" "-")
triple5
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "kind" "-")
The bald eagle sees the squirrel.
Unknown
random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The cat is big.[(triple3)] The cow eats the squirrel.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel eats the cow.[(triple6)] The squirrel is kind.[(triple7)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule5))] @2: The bald eagle is red.[(((((triple1) -> rule5)) -> rule1))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple4
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple5
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2