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