The bear eats the dog. The bear is nice. The bear is rough. The bear likes the dog. The bear sees the dog. The dog eats the bear. The dog is nice. The dog is not rough. The dog is round. The dog is young. The dog likes the bear. The dog sees the bear. If someone is young then they do not see the dog. If the bear is nice and the bear eats the dog then the bear is rough. If someone sees the dog then the dog sees the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
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 nice.
("dog" "is" "nice" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If someone is young then they do not see the dog.
((("someone" "is" "young" "+")) -> ("someone" "sees" "dog" "-"))
If the bear is nice and the bear eats the dog then the bear is rough.
((("bear" "is" "nice" "+") ("bear" "eats" "dog" "+")) -> ("bear" "is" "rough" "+"))
If someone sees the dog then the dog sees the bear.
((("someone" "sees" "dog" "+")) -> ("dog" "sees" "bear" "+"))
The dog is round.
True
1
proof
[(triple9)]
("dog" "is" "round" "+")
triple9
The dog is not round.
False
1
inv-proof
[(triple9)]
("dog" "is" "round" "-")
triple9
The dog does not see the dog.
True
2
proof
[(((triple10) -> rule1))]
("dog" "sees" "dog" "-")
((triple10) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The dog sees the dog.
False
2
inv-proof
[(((triple10) -> rule1))]
("dog" "sees" "dog" "+")
((triple10) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The bear eats the dog.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3 OR ((triple2 triple1) -> rule2))] The bear likes the dog.[(triple4)] The bear sees the dog.[(triple5)] The dog eats the bear.[(triple6)] The dog is nice.[(triple7)] The dog is not rough.[(triple8)] The dog is round.[(triple9)] The dog is young.[(triple10)] The dog likes the bear.[(triple11)] The dog sees the bear.[(triple12 OR ((triple5) -> rule3))] @1: The dog does not see the dog.[(((triple10) -> rule1))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
((triple2 triple1) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The bear sees the dog.
("bear" "sees" "dog" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is not rough.
("dog" "is" "rough" "-")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The dog is young.
("dog" "is" "young" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog sees the bear.
("dog" "sees" "bear" "+")
triple12
((triple5) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog does not see the dog.
("dog" "sees" "dog" "-")
((triple10) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1