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