The bear eats the dog. The bear is blue. The bear is nice. The bear is young. The bear likes the dog. The bear sees the dog. The dog eats the bear. The dog is green. The dog is nice. The dog is red. The dog likes the bear. The dog sees the bear. If the dog likes the bear and the dog is green then the dog sees the bear. If something is young and it sees the dog then the dog sees the bear. If something sees the dog then the dog is nice. If the dog eats the bear and the bear eats the dog then the bear is red. If something eats the dog then it eats the bear. If something likes the bear and the bear eats the dog then the bear sees the dog.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
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 eats the bear.
("dog" "eats" "bear" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If the dog likes the bear and the dog is green then the dog sees the bear.
((("dog" "likes" "bear" "+") ("dog" "is" "green" "+")) -> ("dog" "sees" "bear" "+"))
If something is young and it sees the dog then the dog sees the bear.
((("something" "is" "young" "+") ("something" "sees" "dog" "+")) -> ("dog" "sees" "bear" "+"))
If something sees the dog then the dog is nice.
((("something" "sees" "dog" "+")) -> ("dog" "is" "nice" "+"))
If the dog eats the bear and the bear eats the dog then the bear is red.
((("dog" "eats" "bear" "+") ("bear" "eats" "dog" "+")) -> ("bear" "is" "red" "+"))
If something eats the dog then it eats the bear.
((("something" "eats" "dog" "+")) -> ("something" "eats" "bear" "+"))
If something likes the bear and the bear eats the dog then the bear sees the dog.
((("something" "likes" "bear" "+") ("bear" "eats" "dog" "+")) -> ("bear" "sees" "dog" "+"))
The bear is nice.
True
1
proof
[(triple3)]
("bear" "is" "nice" "+")
triple3
The dog is not red.
False
1
inv-proof
[(triple10)]
("dog" "is" "red" "-")
triple10
The bear eats the bear.
True
2
proof
[(((triple1) -> rule5))]
("bear" "eats" "bear" "+")
((triple1) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
2
inv-proof
[(((triple1) -> rule5))]
("bear" "eats" "bear" "-")
((triple1) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
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 bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear eats the dog.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is young.[(triple4)] The bear likes the dog.[(triple5)] The bear sees the dog.[(triple6 OR ((triple11 triple1) -> rule6))] The dog eats the bear.[(triple7)] The dog is green.[(triple8)] The dog is nice.[(triple9 OR ((triple6) -> rule3) OR ((((triple11 triple1) -> rule6)) -> rule3))] The dog is red.[(triple10)] The dog likes the bear.[(triple11)] The dog sees the bear.[(triple12 OR ((triple11 triple8) -> rule1) OR ((triple4 triple6) -> rule2) OR ((triple4 ((triple11 triple1) -> rule6)) -> rule2))] @1: The bear eats the bear.[(((triple1) -> rule5))] The bear is red.[(((triple7 triple1) -> rule4))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
((triple11 triple1) -> (rule6 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
((triple6) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((((triple11 triple1) -> (rule6 % int2))) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog sees the bear.
("dog" "sees" "bear" "+")
triple12
((triple11 triple8) -> (rule1 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
((triple4 triple6) -> (rule2 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
((triple4 ((triple11 triple1) -> (rule6 % int2))) -> (rule2 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple1) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((triple7 triple1) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1