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