The bear likes the dog. The bear needs the dog. The dog chases the bear. The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is rough. The dog likes the bear. The dog needs the bear. If someone likes the dog then they like the bear.
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If someone likes the dog then they like the bear.
((("someone" "likes" "dog" "+")) -> ("someone" "likes" "bear" "+"))
The dog is green.
True
1
proof
[(triple6)]
("dog" "is" "green" "+")
triple6
The bear does not like the dog.
False
1
inv-proof
[(triple1)]
("bear" "likes" "dog" "-")
triple1
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bear likes the dog.[(triple1)] The bear needs the dog.[(triple2)] The dog chases the bear.[(triple3)] The dog is blue.[(triple4)] The dog is cold.[(triple5)] The dog is green.[(triple6)] The dog is kind.[(triple7)] The dog is rough.[(triple8)] The dog likes the bear.[(triple9)] The dog needs the bear.[(triple10)] @1: The bear likes the bear.[(((triple1) -> rule1))]
The bear likes the dog.
("bear" "likes" "dog" "+")
triple1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple2
The dog chases the bear.
("dog" "chases" "bear" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is kind.
("dog" "is" "kind" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1