The bear eats the rabbit. The cat eats the rabbit. The cat is young. The cow chases the rabbit. The cow eats the rabbit. The cow is big. The cow is round. The cow is young. The cow visits the rabbit. The rabbit is young. If the rabbit eats the bear and the rabbit is not round then the rabbit is not blue. If something eats the cow and the cow does not visit the rabbit then the cow eats the bear. If the cat eats the rabbit then the rabbit is not big. If something visits the cow and the cow chases the rabbit then the cow does not visit the bear. If the rabbit is young then the rabbit visits the bear. If the cow does not visit the bear then the bear chases the cat. If something is round then it chases the cow. If something chases the cat and it is blue then the cat is round.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is young.
("cat" "is" "young" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If the rabbit eats the bear and the rabbit is not round then the rabbit is not blue.
((("rabbit" "eats" "bear" "+") ("rabbit" "is" "round" "~")) -> ("rabbit" "is" "blue" "-"))
If something eats the cow and the cow does not visit the rabbit then the cow eats the bear.
((("something" "eats" "cow" "+") ("cow" "visits" "rabbit" "~")) -> ("cow" "eats" "bear" "+"))
If the cat eats the rabbit then the rabbit is not big.
((("cat" "eats" "rabbit" "+")) -> ("rabbit" "is" "big" "-"))
If something visits the cow and the cow chases the rabbit then the cow does not visit the bear.
((("something" "visits" "cow" "+") ("cow" "chases" "rabbit" "+")) -> ("cow" "visits" "bear" "-"))
If the rabbit is young then the rabbit visits the bear.
((("rabbit" "is" "young" "+")) -> ("rabbit" "visits" "bear" "+"))
If the cow does not visit the bear then the bear chases the cat.
((("cow" "visits" "bear" "~")) -> ("bear" "chases" "cat" "+"))
If something is round then it chases the cow.
((("something" "is" "round" "+")) -> ("something" "chases" "cow" "+"))
If something chases the cat and it is blue then the cat is round.
((("something" "chases" "cat" "+") ("something" "is" "blue" "+")) -> ("cat" "is" "round" "+"))
The cow visits the rabbit.
True
1
proof
[(triple9)]
("cow" "visits" "rabbit" "+")
triple9
The cow is not young.
False
1
inv-proof
[(triple8)]
("cow" "is" "young" "-")
triple8
The cow does not eat the bear.
Unknown
inv-rconc
[@1: The cow eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "bear" "-")
The rabbit eats the cow.
Unknown
random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "+")
@0: The bear eats the rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is young.[(triple3)] The cow chases the rabbit.[(triple4)] The cow eats the rabbit.[(triple5)] The cow is big.[(triple6)] The cow is round.[(triple7)] The cow is young.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit is young.[(triple10)] @1: The cow chases the cow.[(((triple7) -> rule7))] The rabbit is not big.[(((triple2) -> rule3))] The rabbit visits the bear.[(((triple10) -> rule5))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple4
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple9
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple7) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The rabbit is not big.
("rabbit" "is" "big" "-")
((triple2) -> (rule3 % int1))
The rabbit is not big.
("rabbit" "is" "big" "-")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((triple10) -> (rule5 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1