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