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