The cow is not blue. The cow likes the dog. The dog is rough. All red people are not rough. If the dog is rough then the dog eats the cow. All rough people are not blue.
The cow is not blue.
("cow" "is" "blue" "-")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog is rough.
("dog" "is" "rough" "+")
All red people are not rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "-"))
If the dog is rough then the dog eats the cow.
((("dog" "is" "rough" "+")) -> ("dog" "eats" "cow" "+"))
All rough people are not blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "-"))
The cow is not blue.
True
1
proof
[(triple1)]
("cow" "is" "blue" "-")
triple1
The cow does not like the dog.
False
1
inv-proof
[(triple2)]
("cow" "likes" "dog" "-")
triple2
The dog eats the cow.
True
2
proof
[(((triple3) -> rule2))]
("dog" "eats" "cow" "+")
((triple3) -> (rule2 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog is blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("dog" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The dog is not blue.
("dog" "is" "blue" "-")
int1
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" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The cow is not blue.[(triple1)] The cow likes the dog.[(triple2)] The dog is rough.[(triple3)] @1: The dog eats the cow.[(((triple3) -> rule2))] The dog is not blue.[(((triple3) -> rule3))]
The cow is not blue.
("cow" "is" "blue" "-")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog eats the cow.
("dog" "eats" "cow" "+")
((triple3) -> (rule2 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog is not blue.
("dog" "is" "blue" "-")
((triple3) -> (rule3 % int1))
The dog is not blue.
("dog" "is" "blue" "-")
int1