The bear eats the cow. The bear is green. The bear is kind. The bear is round. The bear likes the cat. The bear likes the cow. The bear sees the cat. The bear sees the cow. The cat eats the bear. The cat is kind. The cow eats the cat. The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow sees the cat. If someone likes the bear and they like the cat then the cat is nice. If someone is kind and they eat the cat then they are nice. If someone likes the cow then the cow sees the cat. If the cow is round and the cow sees the bear then the bear is round. If the cow sees the cat then the cat eats the cow. If someone sees the cat and they see the cow then the cow sees the cat. If someone likes the cat and they see the cat then they see the bear. If someone eats the cow and the cow sees the cat then they see the bear.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
If someone likes the bear and they like the cat then the cat is nice.
((("someone" "likes" "bear" "+") ("someone" "likes" "cat" "+")) -> ("cat" "is" "nice" "+"))
If someone is kind and they eat the cat then they are nice.
((("someone" "is" "kind" "+") ("someone" "eats" "cat" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the cow then the cow sees the cat.
((("someone" "likes" "cow" "+")) -> ("cow" "sees" "cat" "+"))
If the cow is round and the cow sees the bear then the bear is round.
((("cow" "is" "round" "+") ("cow" "sees" "bear" "+")) -> ("bear" "is" "round" "+"))
If the cow sees the cat then the cat eats the cow.
((("cow" "sees" "cat" "+")) -> ("cat" "eats" "cow" "+"))
If someone sees the cat and they see the cow then the cow sees the cat.
((("someone" "sees" "cat" "+") ("someone" "sees" "cow" "+")) -> ("cow" "sees" "cat" "+"))
If someone likes the cat and they see the cat then they see the bear.
((("someone" "likes" "cat" "+") ("someone" "sees" "cat" "+")) -> ("someone" "sees" "bear" "+"))
If someone eats the cow and the cow sees the cat then they see the bear.
((("someone" "eats" "cow" "+") ("cow" "sees" "cat" "+")) -> ("someone" "sees" "bear" "+"))
The cat eats the bear.
True
1
proof
[(triple9)]
("cat" "eats" "bear" "+")
triple9
The bear does not eat the cow.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cow" "-")
triple1
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "-")
The cat likes the bear.
Unknown
random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear likes the cat.[(triple5)] The bear likes the cow.[(triple6)] The bear sees the cat.[(triple7)] The bear sees the cow.[(triple8)] The cat eats the bear.[(triple9)] The cat is kind.[(triple10)] The cow eats the cat.[(triple11)] The cow is green.[(triple12)] The cow is kind.[(triple13)] The cow is nice.[(triple14 OR ((triple13 triple11) -> rule2))] The cow is rough.[(triple15)] The cow sees the cat.[(triple16 OR ((triple6) -> rule3) OR ((triple7 triple8) -> rule6))] @1: The bear sees the bear.[(((triple1 triple16) -> rule8) OR ((triple5 triple7) -> rule7) OR ((triple1 ((triple6) -> rule3)) -> rule8) OR ((triple1 ((triple7 triple8) -> rule6)) -> rule8))] The cat eats the cow.[(((triple16) -> rule5) OR ((((triple6) -> rule3)) -> rule5) OR ((((triple7 triple8) -> rule6)) -> rule5))] @2: The cat sees the bear.[(((((triple16) -> rule5) triple16) -> rule8) OR ((((triple16) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((triple16) -> rule5) ((triple7 triple8) -> rule6)) -> rule8) OR ((((((triple6) -> rule3)) -> rule5) triple16) -> rule8) OR ((((((triple7 triple8) -> rule6)) -> rule5) triple16) -> rule8) OR ((((((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((((triple6) -> rule3)) -> rule5) ((triple7 triple8) -> rule6)) -> rule8) OR ((((((triple7 triple8) -> rule6)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((((triple7 triple8) -> rule6)) -> rule5) ((triple7 triple8) -> rule6)) -> rule8))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple6
The bear sees the cat.
("bear" "sees" "cat" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cat eats the bear.
("cat" "eats" "bear" "+")
triple9
The cat is kind.
("cat" "is" "kind" "+")
triple10
The cow eats the cat.
("cow" "eats" "cat" "+")
triple11
The cow is green.
("cow" "is" "green" "+")
triple12
The cow is kind.
("cow" "is" "kind" "+")
triple13
The cow is nice.
("cow" "is" "nice" "+")
triple14
((triple13 triple11) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple15
The cow sees the cat.
("cow" "sees" "cat" "+")
triple16
((triple6) -> (rule3 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
((triple7 triple8) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple1 triple16) -> (rule8 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((triple5 triple7) -> (rule7 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((triple1 ((triple6) -> (rule3 % int2))) -> (rule8 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2
((triple1 ((triple7 triple8) -> (rule6 % int2))) -> (rule8 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2
The cat eats the cow.
("cat" "eats" "cow" "+")
((triple16) -> (rule5 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule5 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2
((((triple7 triple8) -> (rule6 % int2))) -> (rule5 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2
The cat sees the bear.
("cat" "sees" "bear" "+")
((((triple16) -> (rule5 % int2)) triple16) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
((((triple16) -> (rule5 % int3)) ((triple6) -> (rule3 % int2))) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2
The cat eats the cow.
("cat" "eats" "cow" "+")
int3
((((triple16) -> (rule5 % int3)) ((triple7 triple8) -> (rule6 % int2))) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2
The cat eats the cow.
("cat" "eats" "cow" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple16) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cow sees the cat.
("cow" "sees" "cat" "+")
int3
((((((triple7 triple8) -> (rule6 % int3))) -> (rule5 % int2)) triple16) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cow sees the cat.
("cow" "sees" "cat" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule3 % int3))) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cow sees the cat.
("cow" "sees" "cat" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7 triple8) -> (rule6 % int3))) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cow sees the cat.
("cow" "sees" "cat" "+")
int3
((((((triple7 triple8) -> (rule6 % int3))) -> (rule5 % int2)) ((triple6) -> (rule3 % int3))) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cow sees the cat.
("cow" "sees" "cat" "+")
int3
((((((triple7 triple8) -> (rule6 % int3))) -> (rule5 % int2)) ((triple7 triple8) -> (rule6 % int3))) -> (rule8 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cow sees the cat.
("cow" "sees" "cat" "+")
int3