The bear eats the tiger. The bear is nice. The bear is round. The bear is young. The bear likes the tiger. The bear visits the cow. The cow eats the bear. The cow does not eat the tiger. The cow is not green. The cow is nice. The cow is young. The cow likes the bear. The cow likes the tiger. The cow visits the bear. The tiger is round. The tiger likes the bear. If someone eats the tiger then the tiger eats the cow. If someone eats the tiger and the tiger visits the cow then they do not visit the bear. If the bear eats the cow and the cow does not eat the bear then the bear is nice.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
The cow is not green.
("cow" "is" "green" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If someone eats the tiger then the tiger eats the cow.
((("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "cow" "+"))
If someone eats the tiger and the tiger visits the cow then they do not visit the bear.
((("someone" "eats" "tiger" "+") ("tiger" "visits" "cow" "+")) -> ("someone" "visits" "bear" "-"))
If the bear eats the cow and the cow does not eat the bear then the bear is nice.
((("bear" "eats" "cow" "+") ("cow" "eats" "bear" "~")) -> ("bear" "is" "nice" "+"))
The bear eats the tiger.
True
1
proof
[(triple1)]
("bear" "eats" "tiger" "+")
triple1
The cow is green.
False
1
inv-proof
[(triple9)]
("cow" "is" "green" "+")
triple9
The tiger eats the cow.
True
2
proof
[(((triple1) -> rule1))]
("tiger" "eats" "cow" "+")
((triple1) -> (rule1 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger does not eat the cow.
False
2
inv-proof
[(((triple1) -> rule1))]
("tiger" "eats" "cow" "-")
((triple1) -> (rule1 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The bear eats the cow.
Unknown
random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "+")
The tiger does not visit the bear.
Unknown
inv-random
[@0: The tiger visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bear" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bear eats the tiger.[(triple1)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear likes the tiger.[(triple5)] The bear visits the cow.[(triple6)] The cow does not eat the tiger.[(triple8)] The cow eats the bear.[(triple7)] The cow is nice.[(triple10)] The cow is not green.[(triple9)] The cow is young.[(triple11)] The cow likes the bear.[(triple12)] The cow likes the tiger.[(triple13)] The cow visits the bear.[(triple14)] The tiger is round.[(triple15)] The tiger likes the bear.[(triple16)] @1: The tiger eats the cow.[(((triple1) -> rule1))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
triple8
The cow eats the bear.
("cow" "eats" "bear" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple10
The cow is not green.
("cow" "is" "green" "-")
triple9
The cow is young.
("cow" "is" "young" "+")
triple11
The cow likes the bear.
("cow" "likes" "bear" "+")
triple12
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple13
The cow visits the bear.
("cow" "visits" "bear" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple16
The tiger eats the cow.
("tiger" "eats" "cow" "+")
((triple1) -> (rule1 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1