The cow is kind. The cow is not young. The cow likes the dog. The cow does not like the rabbit. The cow needs the squirrel. The dog does not eat the rabbit. The dog is not green. The dog is not kind. The dog likes the rabbit. The rabbit eats the squirrel. The rabbit likes the squirrel. The rabbit does not need the squirrel. The squirrel is green. The squirrel is not kind. The squirrel needs the cow. The squirrel needs the rabbit. If someone eats the squirrel then they are not blue.
The cow is kind.
("cow" "is" "kind" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
The dog is not green.
("dog" "is" "green" "-")
The dog is not kind.
("dog" "is" "kind" "-")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone eats the squirrel then they are not blue.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "blue" "-"))
The squirrel needs the cow.
True
1
proof
[(triple15)]
("squirrel" "needs" "cow" "+")
triple15
The squirrel does not need the cow.
False
1
inv-proof
[(triple15)]
("squirrel" "needs" "cow" "-")
triple15
The rabbit is not blue.
True
2
proof
[(((triple10) -> rule1))]
("rabbit" "is" "blue" "-")
((triple10) -> (rule1 % int1))
The rabbit is not blue.
("rabbit" "is" "blue" "-")
int1
The rabbit is blue.
False
2
inv-proof
[(((triple10) -> rule1))]
("rabbit" "is" "blue" "+")
((triple10) -> (rule1 % int1))
The rabbit is not blue.
("rabbit" "is" "blue" "-")
int1
The cow does not eat the squirrel.
Unknown
inv-random
[@0: The cow eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "squirrel" "-")
The rabbit likes the cow.
Unknown
random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The dog eats the squirrel.
Unknown
random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "+")
@0: The cow does not like the rabbit.[(triple4)] The cow is kind.[(triple1)] The cow is not young.[(triple2)] The cow likes the dog.[(triple3)] The cow needs the squirrel.[(triple5)] The dog does not eat the rabbit.[(triple6)] The dog is not green.[(triple7)] The dog is not kind.[(triple8)] The dog likes the rabbit.[(triple9)] The rabbit does not need the squirrel.[(triple12)] The rabbit eats the squirrel.[(triple10)] The rabbit likes the squirrel.[(triple11)] The squirrel is green.[(triple13)] The squirrel is not kind.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The rabbit is not blue.[(((triple10) -> rule1))]
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple1
The cow is not young.
("cow" "is" "young" "-")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple5
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
triple6
The dog is not green.
("dog" "is" "green" "-")
triple7
The dog is not kind.
("dog" "is" "kind" "-")
triple8
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple9
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
triple12
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple10
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple13
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple14
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple15
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple16
The rabbit is not blue.
("rabbit" "is" "blue" "-")
((triple10) -> (rule1 % int1))
The rabbit is not blue.
("rabbit" "is" "blue" "-")
int1