The bear is cold. The bear is green. The bear is round. The bear does not like the cow. The bear does not like the tiger. The bear sees the cow. The bear sees the tiger. The bear visits the cow. The bear visits the tiger. The cow is big. The cow is not green. The cow does not see the bear. The cow sees the tiger. The tiger is green. The tiger visits the bear. If something visits the cow then it does not see the bear. If something sees the tiger then the tiger visits the cow. If something is round then it does not like the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not like the cow.
("bear" "likes" "cow" "-")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow does not see the bear.
("cow" "sees" "bear" "-")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something visits the cow then it does not see the bear.
((("something" "visits" "cow" "+")) -> ("something" "sees" "bear" "-"))
If something sees the tiger then the tiger visits the cow.
((("something" "sees" "tiger" "+")) -> ("tiger" "visits" "cow" "+"))
If something is round then it does not like the bear.
((("something" "is" "round" "+")) -> ("something" "likes" "bear" "-"))
The bear is green.
True
1
proof
[(triple2)]
("bear" "is" "green" "+")
triple2
The bear does not see the cow.
False
1
inv-proof
[(triple6)]
("bear" "sees" "cow" "-")
triple6
The bear does not like the bear.
True
2
proof
[(((triple3) -> rule3))]
("bear" "likes" "bear" "-")
((triple3) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear sees the bear.
False
2
inv-proof
[(((triple8) -> rule1))]
("bear" "sees" "bear" "+")
((triple8) -> (rule1 % int1))
The bear does not see the bear.
("bear" "sees" "bear" "-")
int1
The tiger does not see the bear.
True
3
proof
[(((((triple13) -> rule2)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
("tiger" "sees" "bear" "-")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
The tiger sees the bear.
False
3
inv-proof
[(((((triple13) -> rule2)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
("tiger" "sees" "bear" "+")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
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 bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The tiger does not like the cow.
Unknown
inv-random
[@0: The tiger likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "cow" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The bear does not like the cow.[(triple4)] The bear does not like the tiger.[(triple5)] The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The bear sees the cow.[(triple6)] The bear sees the tiger.[(triple7)] The bear visits the cow.[(triple8)] The bear visits the tiger.[(triple9)] The cow does not see the bear.[(triple12)] The cow is big.[(triple10)] The cow is not green.[(triple11)] The cow sees the tiger.[(triple13)] The tiger is green.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bear does not like the bear.[(((triple3) -> rule3))] The bear does not see the bear.[(((triple8) -> rule1))] The tiger visits the cow.[(((triple13) -> rule2) OR ((triple7) -> rule2))] @2: The tiger does not see the bear.[(((((triple13) -> rule2)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
The bear does not like the cow.
("bear" "likes" "cow" "-")
triple4
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple6
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple7
The bear visits the cow.
("bear" "visits" "cow" "+")
triple8
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple9
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple12
The cow is big.
("cow" "is" "big" "+")
triple10
The cow is not green.
("cow" "is" "green" "-")
triple11
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The bear does not like the bear.
("bear" "likes" "bear" "-")
((triple3) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear does not see the bear.
("bear" "sees" "bear" "-")
((triple8) -> (rule1 % int1))
The bear does not see the bear.
("bear" "sees" "bear" "-")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
((triple13) -> (rule2 % int1))
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int1
((triple7) -> (rule2 % int1))
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int1
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2