The bear eats the dog. The cow likes the bear. The dog likes the cow. If someone likes the cow then they chase the cow. If the cow chases the bear then the cow likes the dog. Rough people are big.
The bear eats the dog.
("bear" "eats" "dog" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
If someone likes the cow then they chase the cow.
((("someone" "likes" "cow" "+")) -> ("someone" "chases" "cow" "+"))
If the cow chases the bear then the cow likes the dog.
((("cow" "chases" "bear" "+")) -> ("cow" "likes" "dog" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
The dog likes the cow.
True
1
proof
[(triple3)]
("dog" "likes" "cow" "+")
triple3
The dog does not like the cow.
False
1
inv-proof
[(triple3)]
("dog" "likes" "cow" "-")
triple3
The dog chases the cow.
True
2
proof
[(((triple3) -> rule1))]
("dog" "chases" "cow" "+")
((triple3) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog does not chase the cow.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "chases" "cow" "-")
((triple3) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The cow does not like the dog.
Unknown
inv-rconc
[@1: The cow likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "dog" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
@0: The bear eats the dog.[(triple1)] The cow likes the bear.[(triple2)] The dog likes the cow.[(triple3)] @1: The dog chases the cow.[(((triple3) -> rule1))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The cow likes the bear.
("cow" "likes" "bear" "+")
triple2
The dog likes the cow.
("dog" "likes" "cow" "+")
triple3
The dog chases the cow.
("dog" "chases" "cow" "+")
((triple3) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1