The cow is green. The cow is young. The mouse eats the cow. The mouse is young. The mouse likes the cow. The mouse likes the squirrel. The squirrel eats the cow. The squirrel eats the mouse. The squirrel is young. The squirrel sees the mouse. If someone likes the cow and they are young then they are big. If the squirrel likes the mouse then the squirrel eats the cow. If someone sees the squirrel then they like the squirrel.
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone likes the cow and they are young then they are big.
((("someone" "likes" "cow" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If the squirrel likes the mouse then the squirrel eats the cow.
((("squirrel" "likes" "mouse" "+")) -> ("squirrel" "eats" "cow" "+"))
If someone sees the squirrel then they like the squirrel.
((("someone" "sees" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
The mouse likes the squirrel.
True
1
proof
[(triple6)]
("mouse" "likes" "squirrel" "+")
triple6
The squirrel does not see the mouse.
False
1
inv-proof
[(triple10)]
("squirrel" "sees" "mouse" "-")
triple10
The mouse is big.
True
3
proof
[(((triple5 triple4) -> rule1))]
("mouse" "is" "big" "+")
((triple5 triple4) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is not big.
False
3
inv-proof
[(((triple5 triple4) -> rule1))]
("mouse" "is" "big" "-")
((triple5 triple4) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "big" "-")
The cow is big.
Unknown
rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "big" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The cow is green.[(triple1)] The cow is young.[(triple2)] The mouse eats the cow.[(triple3)] The mouse is young.[(triple4)] The mouse likes the cow.[(triple5)] The mouse likes the squirrel.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel is young.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The mouse is big.[(((triple5 triple4) -> rule1))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple3
The mouse is young.
("mouse" "is" "young" "+")
triple4
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple5
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple6
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple7
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple10
The mouse is big.
("mouse" "is" "big" "+")
((triple5 triple4) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1