The bear sees the tiger. The dog is blue. The dog likes the lion. The dog likes the tiger. The dog sees the bear. The dog visits the bear. The lion likes the bear. The lion likes the dog. The lion visits the bear. The tiger is big. The tiger is nice. The tiger visits the lion. If someone likes the dog and the dog likes the tiger then the tiger likes the dog. If someone likes the dog then the dog likes the bear. If someone is blue and they visit the dog then the dog does not see the tiger.
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone likes the dog and the dog likes the tiger then the tiger likes the dog.
((("someone" "likes" "dog" "+") ("dog" "likes" "tiger" "+")) -> ("tiger" "likes" "dog" "+"))
If someone likes the dog then the dog likes the bear.
((("someone" "likes" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If someone is blue and they visit the dog then the dog does not see the tiger.
((("someone" "is" "blue" "+") ("someone" "visits" "dog" "+")) -> ("dog" "sees" "tiger" "-"))
The dog likes the tiger.
True
1
proof
[(triple4)]
("dog" "likes" "tiger" "+")
triple4
The dog does not like the tiger.
False
1
inv-proof
[(triple4)]
("dog" "likes" "tiger" "-")
triple4
The tiger likes the dog.
True
3
proof
[(((triple8 triple4) -> rule1))]
("tiger" "likes" "dog" "+")
((triple8 triple4) -> (rule1 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The dog does not like the bear.
False
2
inv-proof
[(((triple8) -> rule2) OR ((((triple8 triple4) -> rule1)) -> rule2))]
("dog" "likes" "bear" "-")
((triple8) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((((triple8 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int2
The tiger does not see the lion.
Unknown
inv-random
[@0: The tiger sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "lion" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The bear likes the tiger.
Unknown
random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "+")
@0: The bear sees the tiger.[(triple1)] The dog is blue.[(triple2)] The dog likes the lion.[(triple3)] The dog likes the tiger.[(triple4)] The dog sees the bear.[(triple5)] The dog visits the bear.[(triple6)] The lion likes the bear.[(triple7)] The lion likes the dog.[(triple8)] The lion visits the bear.[(triple9)] The tiger is big.[(triple10)] The tiger is nice.[(triple11)] The tiger visits the lion.[(triple12)] @1: The dog likes the bear.[(((triple8) -> rule2) OR ((((triple8 triple4) -> rule1)) -> rule2))] The tiger likes the dog.[(((triple8 triple4) -> rule1))]
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog likes the lion.
("dog" "likes" "lion" "+")
triple3
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple4
The dog sees the bear.
("dog" "sees" "bear" "+")
triple5
The dog visits the bear.
("dog" "visits" "bear" "+")
triple6
The lion likes the bear.
("lion" "likes" "bear" "+")
triple7
The lion likes the dog.
("lion" "likes" "dog" "+")
triple8
The lion visits the bear.
("lion" "visits" "bear" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple12
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple8) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((((triple8 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int2
The tiger likes the dog.
("tiger" "likes" "dog" "+")
((triple8 triple4) -> (rule1 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1