The bear does not eat the tiger. The bear is round. The bear is young. The bear likes the cow. The cow eats the bear. The cow eats the tiger. The cow is blue. The cow is young. The cow likes the tiger. The cow sees the tiger. The tiger is kind. The tiger is young. The tiger likes the bear. The tiger likes the cow. The tiger sees the bear. The tiger does not see the cow. If something likes the cow then it likes the bear. If something is nice and it likes the bear then it does not like the tiger.
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger does not see the cow.
("tiger" "sees" "cow" "-")
If something likes the cow then it likes the bear.
((("something" "likes" "cow" "+")) -> ("something" "likes" "bear" "+"))
If something is nice and it likes the bear then it does not like the tiger.
((("something" "is" "nice" "+") ("something" "likes" "bear" "+")) -> ("something" "likes" "tiger" "-"))
The tiger is kind.
True
1
proof
[(triple11)]
("tiger" "is" "kind" "+")
triple11
The tiger is not young.
False
1
inv-proof
[(triple12)]
("tiger" "is" "young" "-")
triple12
The cow does not like the bear.
Unknown
inv-rconc
[@1: The cow likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "bear" "-")
The bear sees the cow.
Unknown
random
[@0: The bear sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cow" "+")
@0: The bear does not eat the tiger.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear likes the cow.[(triple4)] The cow eats the bear.[(triple5)] The cow eats the tiger.[(triple6)] The cow is blue.[(triple7)] The cow is young.[(triple8)] The cow likes the tiger.[(triple9)] The cow sees the tiger.[(triple10)] The tiger does not see the cow.[(triple16)] The tiger is kind.[(triple11)] The tiger is young.[(triple12)] The tiger likes the bear.[(triple13 OR ((triple14) -> rule1))] The tiger likes the cow.[(triple14)] The tiger sees the bear.[(triple15)] @1: The bear likes the bear.[(((triple4) -> rule1))]
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple9
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple10
The tiger does not see the cow.
("tiger" "sees" "cow" "-")
triple16
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
((triple14) -> (rule1 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple14
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple15
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple4) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1