The bald eagle chases the mouse. The cat eats the bald eagle. The cat is young. The cat needs the bald eagle. The mouse chases the bald eagle. The mouse eats the cat. The mouse is rough. The mouse needs the squirrel. The squirrel needs the cat. The squirrel needs the mouse. If the cat eats the squirrel and the squirrel needs the cat then the cat is blue. If someone chases the squirrel then they chase the mouse. If the cat needs the squirrel then the squirrel eats the mouse. If someone is rough then they need the bald eagle. If someone chases the mouse and the mouse eats the cat then they eat the cat. If someone needs the cat and they eat the mouse then the mouse chases the cat. If someone chases the mouse and they are blue then the mouse eats the cat. Young people are red.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If the cat eats the squirrel and the squirrel needs the cat then the cat is blue.
((("cat" "eats" "squirrel" "+") ("squirrel" "needs" "cat" "+")) -> ("cat" "is" "blue" "+"))
If someone chases the squirrel then they chase the mouse.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "mouse" "+"))
If the cat needs the squirrel then the squirrel eats the mouse.
((("cat" "needs" "squirrel" "+")) -> ("squirrel" "eats" "mouse" "+"))
If someone is rough then they need the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone chases the mouse and the mouse eats the cat then they eat the cat.
((("someone" "chases" "mouse" "+") ("mouse" "eats" "cat" "+")) -> ("someone" "eats" "cat" "+"))
If someone needs the cat and they eat the mouse then the mouse chases the cat.
((("someone" "needs" "cat" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "chases" "cat" "+"))
If someone chases the mouse and they are blue then the mouse eats the cat.
((("someone" "chases" "mouse" "+") ("someone" "is" "blue" "+")) -> ("mouse" "eats" "cat" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
The squirrel needs the cat.
True
1
proof
[(triple9)]
("squirrel" "needs" "cat" "+")
triple9
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "eats" "bald eagle" "-")
triple2
The cat is red.
True
2
proof
[(((triple3) -> rule8))]
("cat" "is" "red" "+")
((triple3) -> (rule8 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is not red.
False
2
inv-proof
[(((triple3) -> rule8))]
("cat" "is" "red" "-")
((triple3) -> (rule8 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat does not eat the cat.
Unknown
inv-rconc
[@2: The cat eats the cat.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("cat" "eats" "cat" "-")
The squirrel eats the cat.
Unknown
rconc
[@2: The squirrel eats the cat.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("squirrel" "eats" "cat" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle chases the mouse.[(triple1)] The cat eats the bald eagle.[(triple2)] The cat is young.[(triple3)] The cat needs the bald eagle.[(triple4)] The mouse chases the bald eagle.[(triple5)] The mouse eats the cat.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the squirrel.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The bald eagle eats the cat.[(((triple1 triple6) -> rule5))] The cat is red.[(((triple3) -> rule8))] The mouse needs the bald eagle.[(((triple7) -> rule4))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple5
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((triple1 triple6) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The cat is red.
("cat" "is" "red" "+")
((triple3) -> (rule8 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1