The cow is blue. The cow is kind. The cow does not like the dog. The cow does not like the squirrel. The cow needs the dog. The dog chases the squirrel. The dog is blue. The dog is not kind. The dog likes the cow. The squirrel chases the cow. The squirrel chases the dog. The squirrel is cold. The squirrel is kind. The squirrel needs the cow. The squirrel does not need the dog. If something is rough then it chases the dog. If something needs the cow and it is cold then it needs the squirrel.
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow does not like the dog.
("cow" "likes" "dog" "-")
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog likes the cow.
("dog" "likes" "cow" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
If something is rough then it chases the dog.
((("something" "is" "rough" "+")) -> ("something" "chases" "dog" "+"))
If something needs the cow and it is cold then it needs the squirrel.
((("something" "needs" "cow" "+") ("something" "is" "cold" "+")) -> ("something" "needs" "squirrel" "+"))
The cow is kind.
True
1
proof
[(triple2)]
("cow" "is" "kind" "+")
triple2
The dog does not chase the squirrel.
False
1
inv-proof
[(triple6)]
("dog" "chases" "squirrel" "-")
triple6
The squirrel needs the squirrel.
True
3
proof
[(((triple14 triple12) -> rule2))]
("squirrel" "needs" "squirrel" "+")
((triple14 triple12) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
3
inv-proof
[(((triple14 triple12) -> rule2))]
("squirrel" "needs" "squirrel" "-")
((triple14 triple12) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The cow does not chase the dog.
Unknown
inv-rconc
[@1: The cow chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "dog" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "dog" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The cow does not like the dog.[(triple3)] The cow does not like the squirrel.[(triple4)] The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow needs the dog.[(triple5)] The dog chases the squirrel.[(triple6)] The dog is blue.[(triple7)] The dog is not kind.[(triple8)] The dog likes the cow.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel does not need the dog.[(triple15)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13)] The squirrel needs the cow.[(triple14)] @1: The squirrel needs the squirrel.[(((triple14 triple12) -> rule2))]
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple3
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow needs the dog.
("cow" "needs" "dog" "+")
triple5
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is not kind.
("dog" "is" "kind" "-")
triple8
The dog likes the cow.
("dog" "likes" "cow" "+")
triple9
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple10
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple11
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple14
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple14 triple12) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1