The bear chases the dog. The cow is rough. The dog needs the cow. If something needs the cow then the cow needs the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The cow is rough.
("cow" "is" "rough" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If something needs the cow then the cow needs the dog.
((("something" "needs" "cow" "+")) -> ("cow" "needs" "dog" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The dog does not need the cow.
False
1
inv-proof
[(triple3)]
("dog" "needs" "cow" "-")
triple3
The cow needs the dog.
True
2
proof
[(((triple3) -> rule1))]
("cow" "needs" "dog" "+")
((triple3) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow does not need the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "needs" "dog" "-")
((triple3) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The cow does not chase the dog.
Unknown
inv-random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bear chases the dog.[(triple1)] The cow is rough.[(triple2)] The dog needs the cow.[(triple3)] @1: The cow needs the dog.[(((triple3) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The dog needs the cow.
("dog" "needs" "cow" "+")
triple3
The cow needs the dog.
("cow" "needs" "dog" "+")
((triple3) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1