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