The cow eats the dog. The cow is big. The cow is blue. The cow is kind. The cow is rough. The cow is not young. The cow likes the dog. The cow visits the dog. The dog eats the cow. The dog is big. The dog is blue. The dog is kind. The dog is not rough. The dog is young. The dog likes the cow. The dog visits the cow. If someone eats the dog then the dog likes the cow. If the dog likes the cow and the dog is not young then the cow likes the dog.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone eats the dog then the dog likes the cow.
((("someone" "eats" "dog" "+")) -> ("dog" "likes" "cow" "+"))
If the dog likes the cow and the dog is not young then the cow likes the dog.
((("dog" "likes" "cow" "+") ("dog" "is" "young" "~")) -> ("cow" "likes" "dog" "+"))
The cow eats the dog.
True
1
proof
[(triple1)]
("cow" "eats" "dog" "+")
triple1
The dog is not kind.
False
1
inv-proof
[(triple12)]
("dog" "is" "kind" "-")
triple12
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The cow eats the dog.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow is not young.[(triple6)] The cow is rough.[(triple5)] The cow likes the dog.[(triple7)] The cow visits the dog.[(triple8)] The dog eats the cow.[(triple9)] The dog is big.[(triple10)] The dog is blue.[(triple11)] The dog is kind.[(triple12)] The dog is not rough.[(triple13)] The dog is young.[(triple14)] The dog likes the cow.[(triple15 OR ((triple1) -> rule1))] The dog visits the cow.[(triple16)]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is not young.
("cow" "is" "young" "-")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow likes the dog.
("cow" "likes" "dog" "+")
triple7
The cow visits the dog.
("cow" "visits" "dog" "+")
triple8
The dog eats the cow.
("dog" "eats" "cow" "+")
triple9
The dog is big.
("dog" "is" "big" "+")
triple10
The dog is blue.
("dog" "is" "blue" "+")
triple11
The dog is kind.
("dog" "is" "kind" "+")
triple12
The dog is not rough.
("dog" "is" "rough" "-")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14
The dog likes the cow.
("dog" "likes" "cow" "+")
triple15
((triple1) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
triple16