The bear eats the cow. The bear likes the cow. The bear visits the dog. The cow is blue. The cow is young. The cow likes the bear. The cow visits the dog. The dog eats the tiger. The dog is blue. The dog is red. The dog likes the bear. The dog visits the bear. The dog visits the tiger. The tiger eats the cow. The tiger visits the bear. If something eats the tiger then the tiger eats the bear.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something eats the tiger then the tiger eats the bear.
((("something" "eats" "tiger" "+")) -> ("tiger" "eats" "bear" "+"))
The tiger eats the cow.
True
1
proof
[(triple14)]
("tiger" "eats" "cow" "+")
triple14
The bear does not visit the dog.
False
1
inv-proof
[(triple3)]
("bear" "visits" "dog" "-")
triple3
The tiger eats the bear.
True
2
proof
[(((triple8) -> rule1))]
("tiger" "eats" "bear" "+")
((triple8) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger does not eat the bear.
False
2
inv-proof
[(((triple8) -> rule1))]
("tiger" "eats" "bear" "-")
((triple8) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The cow does not visit the bear.
Unknown
inv-random
[@0: The cow visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bear" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
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 tiger eats the dog.
Unknown
random
[@0: The tiger eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "dog" "+")
@0: The bear eats the cow.[(triple1)] The bear likes the cow.[(triple2)] The bear visits the dog.[(triple3)] The cow is blue.[(triple4)] The cow is young.[(triple5)] The cow likes the bear.[(triple6)] The cow visits the dog.[(triple7)] The dog eats the tiger.[(triple8)] The dog is blue.[(triple9)] The dog is red.[(triple10)] The dog likes the bear.[(triple11)] The dog visits the bear.[(triple12)] The dog visits the tiger.[(triple13)] The tiger eats the cow.[(triple14)] The tiger visits the bear.[(triple15)] @1: The tiger eats the bear.[(((triple8) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear likes the cow.
("bear" "likes" "cow" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the bear.
("cow" "likes" "bear" "+")
triple6
The cow visits the dog.
("cow" "visits" "dog" "+")
triple7
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple8
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple13
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple14
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((triple8) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1