The bear is blue. The dog needs the bear. The tiger needs the dog. If something visits the bear and it is big then the bear is blue. If something needs the dog and the dog needs the bear then the dog visits the tiger.
The bear is blue.
("bear" "is" "blue" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If something visits the bear and it is big then the bear is blue.
((("something" "visits" "bear" "+") ("something" "is" "big" "+")) -> ("bear" "is" "blue" "+"))
If something needs the dog and the dog needs the bear then the dog visits the tiger.
((("something" "needs" "dog" "+") ("dog" "needs" "bear" "+")) -> ("dog" "visits" "tiger" "+"))
The tiger needs the dog.
True
1
proof
[(triple3)]
("tiger" "needs" "dog" "+")
triple3
The dog does not need the bear.
False
1
inv-proof
[(triple2)]
("dog" "needs" "bear" "-")
triple2
The dog visits the tiger.
True
3
proof
[(((triple3 triple2) -> rule2))]
("dog" "visits" "tiger" "+")
((triple3 triple2) -> (rule2 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The dog does not visit the tiger.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("dog" "visits" "tiger" "-")
((triple3 triple2) -> (rule2 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The bear does not need the dog.
Unknown
inv-random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "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 does not visit the dog.
Unknown
inv-random
[@0: The bear visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "dog" "-")
The dog likes the tiger.
Unknown
random
[@0: The dog likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "tiger" "+")
@0: The bear is blue.[(triple1)] The dog needs the bear.[(triple2)] The tiger needs the dog.[(triple3)] @1: The dog visits the tiger.[(((triple3 triple2) -> rule2))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The dog needs the bear.
("dog" "needs" "bear" "+")
triple2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple3
The dog visits the tiger.
("dog" "visits" "tiger" "+")
((triple3 triple2) -> (rule2 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1