The bear is nice. The bear is round. The bear is young. The bear likes the dog. The bear sees the dog. The dog is kind. The dog is not rough. The dog is young. The dog likes the bear. The dog needs the bear. Kind people are round. If someone is kind and they see the dog then they need the dog. If someone likes the bear and the bear does not like the dog then the bear does not need the dog. If someone is round then they like the bear. If someone sees the bear and the bear likes the dog then the dog sees the bear. If someone sees the dog and they are young then the dog sees the bear. If someone sees the dog and they are not round then they are rough. If someone needs the bear and they do not like the bear then they are young.
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and they see the dog then they need the dog.
((("someone" "is" "kind" "+") ("someone" "sees" "dog" "+")) -> ("someone" "needs" "dog" "+"))
If someone likes the bear and the bear does not like the dog then the bear does not need the dog.
((("someone" "likes" "bear" "+") ("bear" "likes" "dog" "~")) -> ("bear" "needs" "dog" "-"))
If someone is round then they like the bear.
((("someone" "is" "round" "+")) -> ("someone" "likes" "bear" "+"))
If someone sees the bear and the bear likes the dog then the dog sees the bear.
((("someone" "sees" "bear" "+") ("bear" "likes" "dog" "+")) -> ("dog" "sees" "bear" "+"))
If someone sees the dog and they are young then the dog sees the bear.
((("someone" "sees" "dog" "+") ("someone" "is" "young" "+")) -> ("dog" "sees" "bear" "+"))
If someone sees the dog and they are not round then they are rough.
((("someone" "sees" "dog" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
If someone needs the bear and they do not like the bear then they are young.
((("someone" "needs" "bear" "+") ("someone" "likes" "bear" "~")) -> ("someone" "is" "young" "+"))
The bear likes the dog.
True
1
proof
[(triple4)]
("bear" "likes" "dog" "+")
triple4
The bear is not round.
False
1
inv-proof
[(triple2)]
("bear" "is" "round" "-")
triple2
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear likes the dog.[(triple4)] The bear sees the dog.[(triple5)] The dog is kind.[(triple6)] The dog is not rough.[(triple7)] The dog is young.[(triple8)] The dog likes the bear.[(triple9 OR ((((triple6) -> rule1)) -> rule4))] The dog needs the bear.[(triple10)] @1: The bear likes the bear.[(((triple2) -> rule4))] The dog is round.[(((triple6) -> rule1))] The dog sees the bear.[(((triple5 triple3) -> rule6))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The bear sees the dog.
("bear" "sees" "dog" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog is not rough.
("dog" "is" "rough" "-")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple6) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
((triple5 triple3) -> (rule6 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1