The bear chases the dog. The bear is blue. The bear is red. The bear is rough. The bear is young. The bear sees the dog. The dog chases the bear. The dog is green. The dog likes the bear. The dog sees the bear. If someone sees the dog and they are green then the dog is green. If someone sees the dog then the dog likes the bear. If someone sees the dog then they like the bear. If the bear is rough then the bear is young. If the bear chases the dog and the bear likes the dog then the bear sees the dog. If the dog likes the bear then the bear likes the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If someone sees the dog and they are green then the dog is green.
((("someone" "sees" "dog" "+") ("someone" "is" "green" "+")) -> ("dog" "is" "green" "+"))
If someone sees the dog then the dog likes the bear.
((("someone" "sees" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If someone sees the dog then they like the bear.
((("someone" "sees" "dog" "+")) -> ("someone" "likes" "bear" "+"))
If the bear is rough then the bear is young.
((("bear" "is" "rough" "+")) -> ("bear" "is" "young" "+"))
If the bear chases the dog and the bear likes the dog then the bear sees the dog.
((("bear" "chases" "dog" "+") ("bear" "likes" "dog" "+")) -> ("bear" "sees" "dog" "+"))
If the dog likes the bear then the bear likes the dog.
((("dog" "likes" "bear" "+")) -> ("bear" "likes" "dog" "+"))
The bear is blue.
True
1
proof
[(triple2)]
("bear" "is" "blue" "+")
triple2
The bear does not chase the dog.
False
1
inv-proof
[(triple1)]
("bear" "chases" "dog" "-")
triple1
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The bear chases the dog.[(triple1)] The bear is blue.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5 OR ((triple4) -> rule4))] The bear sees the dog.[(triple6 OR ((triple1 ((triple9) -> rule6)) -> rule5))] The dog chases the bear.[(triple7)] The dog is green.[(triple8)] The dog likes the bear.[(triple9 OR ((triple6) -> rule2))] The dog sees the bear.[(triple10)] @1: The bear likes the bear.[(((triple6) -> rule3) OR ((((triple1 ((triple9) -> rule6)) -> rule5)) -> rule3))] The bear likes the dog.[(((triple9) -> rule6) OR ((((triple6) -> rule2)) -> rule6))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
((triple4) -> (rule4 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
((triple1 ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
((triple6) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple6) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple1 ((triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The bear likes the dog.
("bear" "likes" "dog" "+")
((triple9) -> (rule6 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2