The cow eats the rabbit. The cow is young. The cow likes the dog. The cow does not like the rabbit. The dog eats the rabbit. The rabbit does not need the squirrel. The squirrel is not green. The squirrel is kind. The squirrel is young. The squirrel needs the rabbit. If someone needs the cow and they are cold then they do not need the dog. If someone is cold and green then they do not eat the rabbit. If someone is green then they eat the squirrel. If someone needs the squirrel and the squirrel eats the cow then the squirrel needs the rabbit. If the rabbit does not need the dog then the dog needs the rabbit. If someone needs the rabbit and they are young then they eat the cow.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone needs the cow and they are cold then they do not need the dog.
((("someone" "needs" "cow" "+") ("someone" "is" "cold" "+")) -> ("someone" "needs" "dog" "-"))
If someone is cold and green then they do not eat the rabbit.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "rabbit" "-"))
If someone is green then they eat the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone needs the squirrel and the squirrel eats the cow then the squirrel needs the rabbit.
((("someone" "needs" "squirrel" "+") ("squirrel" "eats" "cow" "+")) -> ("squirrel" "needs" "rabbit" "+"))
If the rabbit does not need the dog then the dog needs the rabbit.
((("rabbit" "needs" "dog" "~")) -> ("dog" "needs" "rabbit" "+"))
If someone needs the rabbit and they are young then they eat the cow.
((("someone" "needs" "rabbit" "+") ("someone" "is" "young" "+")) -> ("someone" "eats" "cow" "+"))
The cow eats the rabbit.
True
1
proof
[(triple1)]
("cow" "eats" "rabbit" "+")
triple1
The cow does not like the dog.
False
1
inv-proof
[(triple3)]
("cow" "likes" "dog" "-")
triple3
The squirrel eats the cow.
True
3
proof
[(((triple10 triple9) -> rule6))]
("squirrel" "eats" "cow" "+")
((triple10 triple9) -> (rule6 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel does not eat the cow.
False
3
inv-proof
[(((triple10 triple9) -> rule6))]
("squirrel" "eats" "cow" "-")
((triple10 triple9) -> (rule6 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The rabbit does not eat the squirrel.
Unknown
inv-rconc
[@1: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "squirrel" "-")
The cow eats the cow.
Unknown
rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "eats" "cow" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow does not like the rabbit.[(triple4)] The cow eats the rabbit.[(triple1)] The cow is young.[(triple2)] The cow likes the dog.[(triple3)] The dog eats the rabbit.[(triple5)] The rabbit does not need the squirrel.[(triple6)] The squirrel is kind.[(triple8)] The squirrel is not green.[(triple7)] The squirrel is young.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The squirrel eats the cow.[(((triple10 triple9) -> rule6))]
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
triple4
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple5
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is not green.
("squirrel" "is" "green" "-")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple10
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple10 triple9) -> (rule6 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1