The cow does not eat the squirrel. The mouse does not chase the squirrel. The squirrel sees the tiger. The tiger chases the cow. If something sees the tiger then the tiger chases the mouse. If something is young and round then it sees the mouse.
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
If something sees the tiger then the tiger chases the mouse.
((("something" "sees" "tiger" "+")) -> ("tiger" "chases" "mouse" "+"))
If something is young and round then it sees the mouse.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "sees" "mouse" "+"))
The tiger chases the cow.
True
1
proof
[(triple4)]
("tiger" "chases" "cow" "+")
triple4
The mouse chases the squirrel.
False
1
inv-proof
[(triple2)]
("mouse" "chases" "squirrel" "+")
triple2
The tiger chases the mouse.
True
2
proof
[(((triple3) -> rule1))]
("tiger" "chases" "mouse" "+")
((triple3) -> (rule1 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger does not chase the mouse.
False
2
inv-proof
[(((triple3) -> rule1))]
("tiger" "chases" "mouse" "-")
((triple3) -> (rule1 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The squirrel does not see the mouse.
Unknown
inv-rconc
[@1: The squirrel sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "mouse" "-")
The cow sees the mouse.
Unknown
rconc
[@1: The cow sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "mouse" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The tiger sees the squirrel.
Unknown
random
[@0: The tiger sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "squirrel" "+")
@0: The cow does not eat the squirrel.[(triple1)] The mouse does not chase the squirrel.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger chases the cow.[(triple4)] @1: The tiger chases the mouse.[(((triple3) -> rule1))]
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
triple1
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
triple2
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple3
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple4
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
((triple3) -> (rule1 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1