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