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