The bear does not eat the cat. The bear eats the rabbit. The bear is cold. The bear is round. The cat is round. The cat is not young. The cat needs the cow. The cat does not visit the bear. The cat does not visit the cow. The cow needs the rabbit. The cow does not visit the bear. The cow visits the rabbit. The rabbit eats the bear. The rabbit eats the cow. The rabbit is young. The rabbit needs the bear. If someone eats the rabbit then the rabbit eats the cow. If someone visits the bear and they do not eat the rabbit then they do not eat the cat. If someone visits the cat and they are nice then they eat the cat. If someone eats the rabbit then they visit the bear. If someone visits the cow and they visit the bear then they visit the cat. If someone is big and they do not eat the cat then they do not need the bear.
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat does not visit the bear.
("cat" "visits" "bear" "-")
The cat does not visit the cow.
("cat" "visits" "cow" "-")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If someone eats the rabbit then the rabbit eats the cow.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "cow" "+"))
If someone visits the bear and they do not eat the rabbit then they do not eat the cat.
((("someone" "visits" "bear" "+") ("someone" "eats" "rabbit" "~")) -> ("someone" "eats" "cat" "-"))
If someone visits the cat and they are nice then they eat the cat.
((("someone" "visits" "cat" "+") ("someone" "is" "nice" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the rabbit then they visit the bear.
((("someone" "eats" "rabbit" "+")) -> ("someone" "visits" "bear" "+"))
If someone visits the cow and they visit the bear then they visit the cat.
((("someone" "visits" "cow" "+") ("someone" "visits" "bear" "+")) -> ("someone" "visits" "cat" "+"))
If someone is big and they do not eat the cat then they do not need the bear.
((("someone" "is" "big" "+") ("someone" "eats" "cat" "~")) -> ("someone" "needs" "bear" "-"))
The bear is cold.
True
1
proof
[(triple3)]
("bear" "is" "cold" "+")
triple3
The bear does not eat the rabbit.
False
1
inv-proof
[(triple2)]
("bear" "eats" "rabbit" "-")
triple2
The bear does not visit the cat.
Unknown
inv-rconc
[@1: The bear visits the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "visits" "cat" "-")
The cow needs the bear.
Unknown
random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "+")
@0: The bear does not eat the cat.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is cold.[(triple3)] The bear is round.[(triple4)] The cat does not visit the bear.[(triple8)] The cat does not visit the cow.[(triple9)] The cat is not young.[(triple6)] The cat is round.[(triple5)] The cat needs the cow.[(triple7)] The cow does not visit the bear.[(triple11)] The cow needs the rabbit.[(triple10)] The cow visits the rabbit.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit eats the cow.[(triple14 OR ((triple2) -> rule1))] The rabbit is young.[(triple15)] The rabbit needs the bear.[(triple16)] @1: The bear visits the bear.[(((triple2) -> rule4))]
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The cat does not visit the bear.
("cat" "visits" "bear" "-")
triple8
The cat does not visit the cow.
("cat" "visits" "cow" "-")
triple9
The cat is not young.
("cat" "is" "young" "-")
triple6
The cat is round.
("cat" "is" "round" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple7
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple11
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple10
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple12
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple13
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple14
((triple2) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
triple15
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple16
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple2) -> (rule4 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1