The cat is green. The cow is round. The cow sees the squirrel. The rabbit does not chase the squirrel. The rabbit is red. The rabbit does not see the cow. The squirrel is big. The squirrel is round. The squirrel sees the cat. The squirrel does not see the rabbit. If something chases the squirrel then it is not green. If something sees the squirrel then it sees the rabbit. If something likes the cat and it chases the squirrel then the cat does not chase the rabbit. If something chases the cow and it sees the cow then the cow likes the cat. If something is rough then it chases the rabbit. If the rabbit is not green then the rabbit is not red.
The cat is green.
("cat" "is" "green" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit does not see the cow.
("rabbit" "sees" "cow" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
If something chases the squirrel then it is not green.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "green" "-"))
If something sees the squirrel then it sees the rabbit.
((("something" "sees" "squirrel" "+")) -> ("something" "sees" "rabbit" "+"))
If something likes the cat and it chases the squirrel then the cat does not chase the rabbit.
((("something" "likes" "cat" "+") ("something" "chases" "squirrel" "+")) -> ("cat" "chases" "rabbit" "-"))
If something chases the cow and it sees the cow then the cow likes the cat.
((("something" "chases" "cow" "+") ("something" "sees" "cow" "+")) -> ("cow" "likes" "cat" "+"))
If something is rough then it chases the rabbit.
((("something" "is" "rough" "+")) -> ("something" "chases" "rabbit" "+"))
If the rabbit is not green then the rabbit is not red.
((("rabbit" "is" "green" "~")) -> ("rabbit" "is" "red" "-"))
The rabbit does not see the cow.
True
1
proof
[(triple6)]
("rabbit" "sees" "cow" "-")
triple6
The cat is not green.
False
1
inv-proof
[(triple1)]
("cat" "is" "green" "-")
triple1
The cow sees the rabbit.
True
2
proof
[(((triple3) -> rule2))]
("cow" "sees" "rabbit" "+")
((triple3) -> (rule2 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The cow does not see the rabbit.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "sees" "rabbit" "-")
((triple3) -> (rule2 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The cow does not like the cat.
Unknown
inv-rconc
[@1: The cow likes the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "cat" "-")
The cow chases the rabbit.
Unknown
rconc
[@1: The cow chases the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "chases" "rabbit" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The cat is green.[(triple1)] The cow is round.[(triple2)] The cow sees the squirrel.[(triple3)] The rabbit does not chase the squirrel.[(triple4)] The rabbit does not see the cow.[(triple6)] The rabbit is red.[(triple5)] The squirrel does not see the rabbit.[(triple10)] The squirrel is big.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the cat.[(triple9)] @1: The cow sees the rabbit.[(((triple3) -> rule2))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple3
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple4
The rabbit does not see the cow.
("rabbit" "sees" "cow" "-")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple9
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
((triple3) -> (rule2 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1