The cow chases the dog. The cow chases the squirrel. The dog chases the cow. The dog chases the squirrel. The dog does not eat the cow. The dog eats the squirrel. The dog is big. The dog is kind. The dog is nice. The dog is red. The squirrel is kind. The squirrel sees the dog. If something is kind and not red then it chases the cow. If something eats the squirrel then the squirrel chases the cow.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog does not eat the cow.
("dog" "eats" "cow" "-")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something is kind and not red then it chases the cow.
((("something" "is" "kind" "+") ("something" "is" "red" "~")) -> ("something" "chases" "cow" "+"))
If something eats the squirrel then the squirrel chases the cow.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
The dog does not eat the cow.
True
1
proof
[(triple5)]
("dog" "eats" "cow" "-")
triple5
The dog does not chase the cow.
False
1
inv-proof
[(triple3)]
("dog" "chases" "cow" "-")
triple3
The squirrel chases the cow.
True
2
proof
[(((triple6) -> rule2))]
("squirrel" "chases" "cow" "+")
((triple6) -> (rule2 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel does not chase the cow.
False
2
inv-proof
[(((triple6) -> rule2))]
("squirrel" "chases" "cow" "-")
((triple6) -> (rule2 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the squirrel.[(triple2)] The dog chases the cow.[(triple3)] The dog chases the squirrel.[(triple4)] The dog does not eat the cow.[(triple5)] The dog eats the squirrel.[(triple6)] The dog is big.[(triple7)] The dog is kind.[(triple8)] The dog is nice.[(triple9)] The dog is red.[(triple10)] The squirrel is kind.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The squirrel chases the cow.[(((triple6) -> rule2))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The dog chases the cow.
("dog" "chases" "cow" "+")
triple3
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple4
The dog does not eat the cow.
("dog" "eats" "cow" "-")
triple5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple6) -> (rule2 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1