The bear eats the cat. The bear eats the cow. The bear eats the lion. The bear is cold. The bear is round. The cat is big. The cat is kind. The cat is round. The cat needs the cow. The cow eats the bear. The cow eats the cat. The cow is nice. The cow needs the cat. The cow visits the lion. The lion eats the cat. The lion needs the cat. If something eats the bear then the bear visits the cat. If something is kind then it eats the bear. If something needs the cow then it visits the bear. If something needs the cow and it visits the cat then the cat is nice. If the cow is cold and the cow needs the lion then the cow needs the bear. If something is big and it needs the cow then it is kind.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If something eats the bear then the bear visits the cat.
((("something" "eats" "bear" "+")) -> ("bear" "visits" "cat" "+"))
If something is kind then it eats the bear.
((("something" "is" "kind" "+")) -> ("something" "eats" "bear" "+"))
If something needs the cow then it visits the bear.
((("something" "needs" "cow" "+")) -> ("something" "visits" "bear" "+"))
If something needs the cow and it visits the cat then the cat is nice.
((("something" "needs" "cow" "+") ("something" "visits" "cat" "+")) -> ("cat" "is" "nice" "+"))
If the cow is cold and the cow needs the lion then the cow needs the bear.
((("cow" "is" "cold" "+") ("cow" "needs" "lion" "+")) -> ("cow" "needs" "bear" "+"))
If something is big and it needs the cow then it is kind.
((("something" "is" "big" "+") ("something" "needs" "cow" "+")) -> ("something" "is" "kind" "+"))
The bear is round.
True
1
proof
[(triple5)]
("bear" "is" "round" "+")
triple5
The cat does not need the cow.
False
1
inv-proof
[(triple9)]
("cat" "needs" "cow" "-")
triple9
The cow does not visit the bear.
Unknown
inv-rconc
[@1: The cow visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "bear" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bear eats the cat.[(triple1)] The bear eats the cow.[(triple2)] The bear eats the lion.[(triple3)] The bear is cold.[(triple4)] The bear is round.[(triple5)] The cat is big.[(triple6)] The cat is kind.[(triple7 OR ((triple6 triple9) -> rule6))] The cat is round.[(triple8)] The cat needs the cow.[(triple9)] The cow eats the bear.[(triple10)] The cow eats the cat.[(triple11)] The cow is nice.[(triple12)] The cow needs the cat.[(triple13)] The cow visits the lion.[(triple14)] The lion eats the cat.[(triple15)] The lion needs the cat.[(triple16)] @1: The bear visits the cat.[(((triple10) -> rule1) OR ((((triple7) -> rule2)) -> rule1) OR ((((((triple6 triple9) -> rule6)) -> rule2)) -> rule1))] The cat eats the bear.[(((triple7) -> rule2) OR ((((triple6 triple9) -> rule6)) -> rule2))] The cat visits the bear.[(((triple9) -> rule3))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The bear eats the lion.
("bear" "eats" "lion" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
((triple6 triple9) -> (rule6 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple8
The cat needs the cow.
("cat" "needs" "cow" "+")
triple9
The cow eats the bear.
("cow" "eats" "bear" "+")
triple10
The cow eats the cat.
("cow" "eats" "cat" "+")
triple11
The cow is nice.
("cow" "is" "nice" "+")
triple12
The cow needs the cat.
("cow" "needs" "cat" "+")
triple13
The cow visits the lion.
("cow" "visits" "lion" "+")
triple14
The lion eats the cat.
("lion" "eats" "cat" "+")
triple15
The lion needs the cat.
("lion" "needs" "cat" "+")
triple16
The bear visits the cat.
("bear" "visits" "cat" "+")
((triple10) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
((((((triple6 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
((triple7) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
((((triple6 triple9) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat visits the bear.
("cat" "visits" "bear" "+")
((triple9) -> (rule3 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1