The bald eagle likes the squirrel. The cat chases the bald eagle. The cat chases the squirrel. The cat is kind. The cat is young. The mouse chases the bald eagle. The mouse chases the squirrel. The mouse is young. The mouse likes the bald eagle. The mouse does not like the squirrel. The squirrel is not kind. The squirrel likes the cat. If the squirrel visits the mouse and the squirrel chases the bald eagle then the bald eagle is rough. If the mouse likes the squirrel and the mouse does not visit the squirrel then the squirrel likes the mouse. If something visits the mouse and the mouse visits the squirrel then the mouse does not visit the bald eagle. If the mouse does not like the bald eagle then the bald eagle does not visit the mouse. If something is young and kind then it likes the squirrel. If the bald eagle visits the mouse then the bald eagle does not chase the mouse. If something likes the mouse and it likes the cat then it visits the cat. If something chases the bald eagle then the bald eagle likes the squirrel.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If the squirrel visits the mouse and the squirrel chases the bald eagle then the bald eagle is rough.
((("squirrel" "visits" "mouse" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the mouse likes the squirrel and the mouse does not visit the squirrel then the squirrel likes the mouse.
((("mouse" "likes" "squirrel" "+") ("mouse" "visits" "squirrel" "~")) -> ("squirrel" "likes" "mouse" "+"))
If something visits the mouse and the mouse visits the squirrel then the mouse does not visit the bald eagle.
((("something" "visits" "mouse" "+") ("mouse" "visits" "squirrel" "+")) -> ("mouse" "visits" "bald eagle" "-"))
If the mouse does not like the bald eagle then the bald eagle does not visit the mouse.
((("mouse" "likes" "bald eagle" "~")) -> ("bald eagle" "visits" "mouse" "-"))
If something is young and kind then it likes the squirrel.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "likes" "squirrel" "+"))
If the bald eagle visits the mouse then the bald eagle does not chase the mouse.
((("bald eagle" "visits" "mouse" "+")) -> ("bald eagle" "chases" "mouse" "-"))
If something likes the mouse and it likes the cat then it visits the cat.
((("something" "likes" "mouse" "+") ("something" "likes" "cat" "+")) -> ("something" "visits" "cat" "+"))
If something chases the bald eagle then the bald eagle likes the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
The cat chases the squirrel.
True
1
proof
[(triple3)]
("cat" "chases" "squirrel" "+")
triple3
The cat is not kind.
False
1
inv-proof
[(triple4)]
("cat" "is" "kind" "-")
triple4
The cat likes the squirrel.
True
3
proof
[(((triple5 triple4) -> rule5))]
("cat" "likes" "squirrel" "+")
((triple5 triple4) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat does not like the squirrel.
False
3
inv-proof
[(((triple5 triple4) -> rule5))]
("cat" "likes" "squirrel" "-")
((triple5 triple4) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The bald eagle does not visit the cat.
Unknown
inv-rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "cat" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The cat visits the squirrel.
Unknown
random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "+")
@0: The bald eagle likes the squirrel.[(triple1 OR ((triple2) -> rule8) OR ((triple6) -> rule8))] The cat chases the bald eagle.[(triple2)] The cat chases the squirrel.[(triple3)] The cat is kind.[(triple4)] The cat is young.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse does not like the squirrel.[(triple10)] The mouse is young.[(triple8)] The mouse likes the bald eagle.[(triple9)] The squirrel is not kind.[(triple11)] The squirrel likes the cat.[(triple12)] @1: The cat likes the squirrel.[(((triple5 triple4) -> rule5))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
((triple2) -> (rule8 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
((triple6) -> (rule8 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple7
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple10
The mouse is young.
("mouse" "is" "young" "+")
triple8
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple9
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple11
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple12
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((triple5 triple4) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1