The bear likes the cat. The cat is round. The cow visits the cat. The dog chases the cow. If the bear chases the cow then the cow likes the bear. If the cow chases the dog then the cow visits the dog. If the bear is cold and the bear does not like the cow then the cow visits the dog. If someone visits the bear then they chase the dog. If the cow visits the cat then the cow visits the bear. If the dog likes the cow then the dog likes the cat. If someone chases the cat and they are young then the cat chases the dog. If someone is blue and cold then they chase the cow.
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat is round.
("cat" "is" "round" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
If the bear chases the cow then the cow likes the bear.
((("bear" "chases" "cow" "+")) -> ("cow" "likes" "bear" "+"))
If the cow chases the dog then the cow visits the dog.
((("cow" "chases" "dog" "+")) -> ("cow" "visits" "dog" "+"))
If the bear is cold and the bear does not like the cow then the cow visits the dog.
((("bear" "is" "cold" "+") ("bear" "likes" "cow" "~")) -> ("cow" "visits" "dog" "+"))
If someone visits the bear then they chase the dog.
((("someone" "visits" "bear" "+")) -> ("someone" "chases" "dog" "+"))
If the cow visits the cat then the cow visits the bear.
((("cow" "visits" "cat" "+")) -> ("cow" "visits" "bear" "+"))
If the dog likes the cow then the dog likes the cat.
((("dog" "likes" "cow" "+")) -> ("dog" "likes" "cat" "+"))
If someone chases the cat and they are young then the cat chases the dog.
((("someone" "chases" "cat" "+") ("someone" "is" "young" "+")) -> ("cat" "chases" "dog" "+"))
If someone is blue and cold then they chase the cow.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "cow" "+"))
The cow visits the cat.
True
1
proof
[(triple3)]
("cow" "visits" "cat" "+")
triple3
The cat is not round.
False
1
inv-proof
[(triple2)]
("cat" "is" "round" "-")
triple2
The cow visits the bear.
True
2
proof
[(((triple3) -> rule5))]
("cow" "visits" "bear" "+")
((triple3) -> (rule5 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow does not visit the bear.
False
2
inv-proof
[(((triple3) -> rule5))]
("cow" "visits" "bear" "-")
((triple3) -> (rule5 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow chases the dog.
True
3
proof
[(((((triple3) -> rule5)) -> rule4))]
("cow" "chases" "dog" "+")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow does not chase the dog.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule4))]
("cow" "chases" "dog" "-")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow does not like the bear.
Unknown
inv-rconc
[@2: The cow likes the bear.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("cow" "likes" "bear" "-")
The bear chases the dog.
Unknown
rconc
[@1: The bear chases the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "dog" "+")
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "chases" "cow" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The dog does not visit the cow.
Unknown
inv-random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear likes the cat.[(triple1)] The cat is round.[(triple2)] The cow visits the cat.[(triple3)] The dog chases the cow.[(triple4)] @1: The cow visits the bear.[(((triple3) -> rule5))] @2: The cow chases the dog.[(((((triple3) -> rule5)) -> rule4))] @3: The cow visits the dog.[(((((((triple3) -> rule5)) -> rule4)) -> rule2))]
The bear likes the cat.
("bear" "likes" "cat" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cow visits the cat.
("cow" "visits" "cat" "+")
triple3
The dog chases the cow.
("dog" "chases" "cow" "+")
triple4
The cow visits the bear.
("cow" "visits" "bear" "+")
((triple3) -> (rule5 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow visits the dog.
("cow" "visits" "dog" "+")
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow visits the bear.
("cow" "visits" "bear" "+")
int3