The cow likes the dog. The dog visits the cow. If something visits the cow then it does not see the dog.
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If something visits the cow then it does not see the dog.
((("something" "visits" "cow" "+")) -> ("something" "sees" "dog" "-"))
The dog visits the cow.
True
1
proof
[(triple2)]
("dog" "visits" "cow" "+")
triple2
The dog does not visit the cow.
False
1
inv-proof
[(triple2)]
("dog" "visits" "cow" "-")
triple2
The dog does not see the dog.
True
2
proof
[(((triple2) -> rule1))]
("dog" "sees" "dog" "-")
((triple2) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The dog sees the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "sees" "dog" "+")
((triple2) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The dog sees the cow.
Unknown
random
[@0: The dog sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cow" "+")
@0: The cow likes the dog.[(triple1)] The dog visits the cow.[(triple2)] @1: The dog does not see the dog.[(((triple2) -> rule1))]
The cow likes the dog.
("cow" "likes" "dog" "+")
triple1
The dog visits the cow.
("dog" "visits" "cow" "+")
triple2
The dog does not see the dog.
("dog" "sees" "dog" "-")
((triple2) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1