The cat eats the rabbit. The cow does not eat the squirrel. The rabbit eats the cat. The squirrel is green. If something eats the cow then it is not green. If the cat is rough then the cat does not like the cow. If something visits the squirrel then the squirrel visits the cow. If something eats the rabbit then the rabbit is green. If the squirrel eats the cow then the squirrel likes the cow. If something likes the rabbit and it visits the cow then it likes the cat. If something visits the cat and it is not green then it does not like the cow. If something likes the cat and it does not like the cow then the cat is round.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If something eats the cow then it is not green.
((("something" "eats" "cow" "+")) -> ("something" "is" "green" "-"))
If the cat is rough then the cat does not like the cow.
((("cat" "is" "rough" "+")) -> ("cat" "likes" "cow" "-"))
If something visits the squirrel then the squirrel visits the cow.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
If something eats the rabbit then the rabbit is green.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If the squirrel eats the cow then the squirrel likes the cow.
((("squirrel" "eats" "cow" "+")) -> ("squirrel" "likes" "cow" "+"))
If something likes the rabbit and it visits the cow then it likes the cat.
((("something" "likes" "rabbit" "+") ("something" "visits" "cow" "+")) -> ("something" "likes" "cat" "+"))
If something visits the cat and it is not green then it does not like the cow.
((("something" "visits" "cat" "+") ("something" "is" "green" "~")) -> ("something" "likes" "cow" "-"))
If something likes the cat and it does not like the cow then the cat is round.
((("something" "likes" "cat" "+") ("something" "likes" "cow" "~")) -> ("cat" "is" "round" "+"))
The cat eats the rabbit.
True
1
proof
[(triple1)]
("cat" "eats" "rabbit" "+")
triple1
The rabbit does not eat the cat.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "cat" "-")
triple3
The rabbit is green.
True
2
proof
[(((triple1) -> rule4))]
("rabbit" "is" "green" "+")
((triple1) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple1) -> rule4))]
("rabbit" "is" "green" "-")
((triple1) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The cow does not like the cat.
Unknown
inv-rconc
[@1: The cow likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "likes" "cat" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "cat" "+")
The squirrel does not eat the rabbit.
Unknown
inv-random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The cat eats the rabbit.[(triple1)] The cow does not eat the squirrel.[(triple2)] The rabbit eats the cat.[(triple3)] The squirrel is green.[(triple4)] @1: The rabbit is green.[(((triple1) -> rule4))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
triple2
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple3
The squirrel is green.
("squirrel" "is" "green" "+")
triple4
The rabbit is green.
("rabbit" "is" "green" "+")
((triple1) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1