The bear is blue. The bear is cold. The bear is nice. The bear sees the dog. The bear visits the dog. The bear visits the squirrel. The dog is blue. The dog is green. The dog is nice. The dog likes the bear. The dog sees the bear. The dog sees the squirrel. The squirrel likes the dog. The squirrel sees the bear. The squirrel sees the dog. The squirrel visits the dog. If someone likes the dog then they see the dog. If someone is nice then they like the dog.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone likes the dog then they see the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "sees" "dog" "+"))
If someone is nice then they like the dog.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "dog" "+"))
The squirrel sees the dog.
True
1
proof
[(triple15 OR ((triple13) -> rule1))]
("squirrel" "sees" "dog" "+")
triple15
((triple13) -> (rule1 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The dog is not nice.
False
1
inv-proof
[(triple9)]
("dog" "is" "nice" "-")
triple9
The dog likes the dog.
True
2
proof
[(((triple9) -> rule2))]
("dog" "likes" "dog" "+")
((triple9) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The bear does not like the dog.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "likes" "dog" "-")
((triple3) -> (rule2 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The dog sees the dog.
True
3
proof
[(((((triple9) -> rule2)) -> rule1))]
("dog" "sees" "dog" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog does not see the dog.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule1))]
("dog" "sees" "dog" "-")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear sees the dog.[(triple4 OR ((((triple3) -> rule2)) -> rule1))] The bear visits the dog.[(triple5)] The bear visits the squirrel.[(triple6)] The dog is blue.[(triple7)] The dog is green.[(triple8)] The dog is nice.[(triple9)] The dog likes the bear.[(triple10)] The dog sees the bear.[(triple11)] The dog sees the squirrel.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel sees the dog.[(triple15 OR ((triple13) -> rule1))] The squirrel visits the dog.[(triple16)] @1: The bear likes the dog.[(((triple3) -> rule2))] The dog likes the dog.[(((triple9) -> rule2))] @2: The dog sees the dog.[(((((triple9) -> rule2)) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear sees the dog.
("bear" "sees" "dog" "+")
triple4
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The dog sees the bear.
("dog" "sees" "bear" "+")
triple11
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple12
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple13
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple14
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15
((triple13) -> (rule1 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The bear likes the dog.
("bear" "likes" "dog" "+")
((triple3) -> (rule2 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple9) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2