The cat is blue. The cat sees the mouse. The cat sees the rabbit. The cat sees the squirrel. The mouse does not chase the cat. The mouse does not eat the rabbit. The mouse eats the squirrel. The mouse sees the cat. The mouse sees the squirrel. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is not blue. The rabbit sees the mouse. The squirrel is green. The squirrel is not kind. If something chases the mouse then the mouse does not eat the rabbit. If something chases the squirrel then it does not eat the cat. If something is red and it sees the mouse then the mouse sees the rabbit. If something chases the squirrel and it is not red then the squirrel chases the mouse. If the cat does not chase the squirrel then the squirrel chases the mouse. If something chases the rabbit and the rabbit does not see the cat then the rabbit does not eat the cat.
The cat is blue.
("cat" "is" "blue" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
If something chases the mouse then the mouse does not eat the rabbit.
((("something" "chases" "mouse" "+")) -> ("mouse" "eats" "rabbit" "-"))
If something chases the squirrel then it does not eat the cat.
((("something" "chases" "squirrel" "+")) -> ("something" "eats" "cat" "-"))
If something is red and it sees the mouse then the mouse sees the rabbit.
((("something" "is" "red" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "sees" "rabbit" "+"))
If something chases the squirrel and it is not red then the squirrel chases the mouse.
((("something" "chases" "squirrel" "+") ("something" "is" "red" "~")) -> ("squirrel" "chases" "mouse" "+"))
If the cat does not chase the squirrel then the squirrel chases the mouse.
((("cat" "chases" "squirrel" "~")) -> ("squirrel" "chases" "mouse" "+"))
If something chases the rabbit and the rabbit does not see the cat then the rabbit does not eat the cat.
((("something" "chases" "rabbit" "+") ("rabbit" "sees" "cat" "~")) -> ("rabbit" "eats" "cat" "-"))
The squirrel is green.
True
1
proof
[(triple14)]
("squirrel" "is" "green" "+")
triple14
The rabbit does not chase the mouse.
False
1
inv-proof
[(triple10)]
("rabbit" "chases" "mouse" "-")
triple10
The mouse does not see the rabbit.
Unknown
inv-rconc
[@1: The mouse sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "sees" "rabbit" "-")
The rabbit chases the squirrel.
Unknown
random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "+")
@0: The cat is blue.[(triple1)] The cat sees the mouse.[(triple2)] The cat sees the rabbit.[(triple3)] The cat sees the squirrel.[(triple4)] The mouse does not chase the cat.[(triple5)] The mouse does not eat the rabbit.[(triple6 OR ((triple10) -> rule1))] The mouse eats the squirrel.[(triple7)] The mouse sees the cat.[(triple8)] The mouse sees the squirrel.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is not blue.[(triple12)] The rabbit sees the mouse.[(triple13)] The squirrel is green.[(triple14)] The squirrel is not kind.[(triple15)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple3
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple4
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple5
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple6
((triple10) -> (rule1 % int1))
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple7
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple8
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple9
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple10
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple11
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple12
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple15