The bear is red. The dog is young. The dog does not like the bear. If the dog does not like the bear then the bear does not like the dog.
The bear is red.
("bear" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not like the bear.
("dog" "likes" "bear" "-")
If the dog does not like the bear then the bear does not like the dog.
((("dog" "likes" "bear" "~")) -> ("bear" "likes" "dog" "-"))
The dog does not like the bear.
True
1
proof
[(triple3)]
("dog" "likes" "bear" "-")
triple3
The dog likes the bear.
False
1
inv-proof
[(triple3)]
("dog" "likes" "bear" "+")
triple3
The bear does not like the dog.
True
2
proof
[(((triple3) -> rule1))]
("bear" "likes" "dog" "-")
((triple3) -> (rule1 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1
The bear likes the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "likes" "dog" "+")
((triple3) -> (rule1 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bear is red.[(triple1)] The dog does not like the bear.[(triple3)] The dog is young.[(triple2)] @1: The bear does not like the dog.[(((triple3) -> rule1))]
The bear is red.
("bear" "is" "red" "+")
triple1
The dog does not like the bear.
("dog" "likes" "bear" "-")
triple3
The dog is young.
("dog" "is" "young" "+")
triple2
The bear does not like the dog.
("bear" "likes" "dog" "-")
((triple3) -> (rule1 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1