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