The cow is green. The cow is not kind. The cow likes the squirrel. The cow visits the mouse. The mouse is not red. The mouse is round. The mouse needs the cow. The mouse visits the cow. The mouse visits the squirrel. The squirrel is red. The squirrel is round. The squirrel likes the mouse. If something visits the squirrel and it is not round then the squirrel is kind. If the squirrel is round then the squirrel is green. If the squirrel is round and the squirrel is not red then the squirrel visits the mouse.
The cow is green.
("cow" "is" "green" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If something visits the squirrel and it is not round then the squirrel is kind.
((("something" "visits" "squirrel" "+") ("something" "is" "round" "~")) -> ("squirrel" "is" "kind" "+"))
If the squirrel is round then the squirrel is green.
((("squirrel" "is" "round" "+")) -> ("squirrel" "is" "green" "+"))
If the squirrel is round and the squirrel is not red then the squirrel visits the mouse.
((("squirrel" "is" "round" "+") ("squirrel" "is" "red" "~")) -> ("squirrel" "visits" "mouse" "+"))
The squirrel likes the mouse.
True
1
proof
[(triple12)]
("squirrel" "likes" "mouse" "+")
triple12
The mouse does not need the cow.
False
1
inv-proof
[(triple7)]
("mouse" "needs" "cow" "-")
triple7
The squirrel is green.
True
2
proof
[(((triple11) -> rule2))]
("squirrel" "is" "green" "+")
((triple11) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
2
inv-proof
[(((triple11) -> rule2))]
("squirrel" "is" "green" "-")
((triple11) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel visits the mouse.
Unknown
rconc
[@1: The squirrel visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "mouse" "+")
The cow does not need the squirrel.
Unknown
inv-random
[@0: The cow needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "squirrel" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow is green.[(triple1)] The cow is not kind.[(triple2)] The cow likes the squirrel.[(triple3)] The cow visits the mouse.[(triple4)] The mouse is not red.[(triple5)] The mouse is round.[(triple6)] The mouse needs the cow.[(triple7)] The mouse visits the cow.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel is red.[(triple10)] The squirrel is round.[(triple11)] The squirrel likes the mouse.[(triple12)] @1: The squirrel is green.[(((triple11) -> rule2))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is not kind.
("cow" "is" "kind" "-")
triple2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple4
The mouse is not red.
("mouse" "is" "red" "-")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple7
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple8
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
((triple11) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1