The cow chases the dog. The cow eats the dog. The cow is blue. The cow is rough. The cow needs the dog. The dog chases the cow. The dog chases the squirrel. The dog eats the cow. The dog eats the squirrel. The dog is blue. The dog is rough. The dog needs the cow. The dog needs the squirrel. The squirrel chases the cow. The squirrel chases the dog. The squirrel is kind. If someone needs the squirrel then they eat the dog. If the cow is kind then the cow chases the squirrel.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone needs the squirrel then they eat the dog.
((("someone" "needs" "squirrel" "+")) -> ("someone" "eats" "dog" "+"))
If the cow is kind then the cow chases the squirrel.
((("cow" "is" "kind" "+")) -> ("cow" "chases" "squirrel" "+"))
The cow eats the dog.
True
1
proof
[(triple2)]
("cow" "eats" "dog" "+")
triple2
The squirrel does not chase the dog.
False
1
inv-proof
[(triple15)]
("squirrel" "chases" "dog" "-")
triple15
The dog eats the dog.
True
2
proof
[(((triple13) -> rule1))]
("dog" "eats" "dog" "+")
((triple13) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not eat the dog.
False
2
inv-proof
[(((triple13) -> rule1))]
("dog" "eats" "dog" "-")
((triple13) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The cow does not chase the squirrel.
Unknown
inv-rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "squirrel" "-")
The squirrel eats the dog.
Unknown
rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "dog" "+")
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 dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The cow chases the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow is blue.[(triple3)] The cow is rough.[(triple4)] The cow needs the dog.[(triple5)] The dog chases the cow.[(triple6)] The dog chases the squirrel.[(triple7)] The dog eats the cow.[(triple8)] The dog eats the squirrel.[(triple9)] The dog is blue.[(triple10)] The dog is rough.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the squirrel.[(triple13)] The squirrel chases the cow.[(triple14)] The squirrel chases the dog.[(triple15)] The squirrel is kind.[(triple16)] @1: The dog eats the dog.[(((triple13) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow needs the dog.
("cow" "needs" "dog" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog is rough.
("dog" "is" "rough" "+")
triple11
The dog needs the cow.
("dog" "needs" "cow" "+")
triple12
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple13
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple14
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple15
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple16
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple13) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1