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