The bald eagle chases the cat. The bald eagle is kind. The bald eagle is young. The bald eagle visits the cat. The cat chases the squirrel. The cat is green. The cat sees the squirrel. The cat visits the bald eagle. The cat visits the mouse. The mouse chases the cat. The mouse is red. The mouse visits the squirrel. The squirrel is red. The squirrel is young. The squirrel visits the bald eagle. The squirrel visits the cat. If someone chases the squirrel then they chase the mouse. If someone sees the cat then the cat visits the mouse. If someone visits the bald eagle and they are young then the bald eagle chases the mouse.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone chases the squirrel then they chase the mouse.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "mouse" "+"))
If someone sees the cat then the cat visits the mouse.
((("someone" "sees" "cat" "+")) -> ("cat" "visits" "mouse" "+"))
If someone visits the bald eagle and they are young then the bald eagle chases the mouse.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "young" "+")) -> ("bald eagle" "chases" "mouse" "+"))
The cat sees the squirrel.
True
1
proof
[(triple7)]
("cat" "sees" "squirrel" "+")
triple7
The mouse does not chase the cat.
False
1
inv-proof
[(triple10)]
("mouse" "chases" "cat" "-")
triple10
The cat chases the mouse.
True
2
proof
[(((triple5) -> rule1))]
("cat" "chases" "mouse" "+")
((triple5) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat does not chase the mouse.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "chases" "mouse" "-")
((triple5) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The squirrel chases the mouse.
Unknown
rconc
[@1: The squirrel chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "mouse" "+")
The mouse does not visit the cat.
Unknown
inv-random
[@0: The mouse visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "cat" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat chases the squirrel.[(triple5)] The cat is green.[(triple6)] The cat sees the squirrel.[(triple7)] The cat visits the bald eagle.[(triple8)] The cat visits the mouse.[(triple9)] The mouse chases the cat.[(triple10)] The mouse is red.[(triple11)] The mouse visits the squirrel.[(triple12)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The bald eagle chases the mouse.[(((triple15 triple14) -> rule3))] The cat chases the mouse.[(((triple5) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple7
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple8
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple9
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple16
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((triple15 triple14) -> (rule3 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
((triple5) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1