The cow chases the dog. The cow eats the dog. The cow is nice. The cow is young. The dog chases the cow. The dog eats the cow. The dog is big. The dog is nice. The dog is young. The dog visits the cow. If something eats the dog then it chases the cow.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If something eats the dog then it chases the cow.
((("something" "eats" "dog" "+")) -> ("something" "chases" "cow" "+"))
The cow is nice.
True
1
proof
[(triple3)]
("cow" "is" "nice" "+")
triple3
The dog does not chase the cow.
False
1
inv-proof
[(triple5)]
("dog" "chases" "cow" "-")
triple5
The cow chases the cow.
True
2
proof
[(((triple2) -> rule1))]
("cow" "chases" "cow" "+")
((triple2) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "chases" "cow" "-")
((triple2) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cow chases the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow is nice.[(triple3)] The cow is young.[(triple4)] The dog chases the cow.[(triple5)] The dog eats the cow.[(triple6)] The dog is big.[(triple7)] The dog is nice.[(triple8)] The dog is young.[(triple9)] The dog visits the cow.[(triple10)] @1: The cow chases the cow.[(((triple2) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The dog chases the cow.
("dog" "chases" "cow" "+")
triple5
The dog eats the cow.
("dog" "eats" "cow" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple2) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1