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