The bear chases the tiger. The bear eats the tiger. The bear is nice. The bear is not young. The bear likes the tiger. The tiger chases the bear. The tiger likes the bear. If something is blue then it likes the tiger. If the bear eats the tiger and the tiger is not nice then the bear does not chase the tiger. If the tiger is green and the tiger chases the bear then the tiger does not like the bear. If the tiger is green and the tiger is young then the tiger chases the bear. If something eats the tiger then it eats the bear. If something eats the bear and the bear eats the tiger then the tiger is kind. If something likes the bear and it is not blue then it does not eat the tiger. If something chases the bear then the bear eats the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If something is blue then it likes the tiger.
((("something" "is" "blue" "+")) -> ("something" "likes" "tiger" "+"))
If the bear eats the tiger and the tiger is not nice then the bear does not chase the tiger.
((("bear" "eats" "tiger" "+") ("tiger" "is" "nice" "~")) -> ("bear" "chases" "tiger" "-"))
If the tiger is green and the tiger chases the bear then the tiger does not like the bear.
((("tiger" "is" "green" "+") ("tiger" "chases" "bear" "+")) -> ("tiger" "likes" "bear" "-"))
If the tiger is green and the tiger is young then the tiger chases the bear.
((("tiger" "is" "green" "+") ("tiger" "is" "young" "+")) -> ("tiger" "chases" "bear" "+"))
If something eats the tiger then it eats the bear.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "bear" "+"))
If something eats the bear and the bear eats the tiger then the tiger is kind.
((("something" "eats" "bear" "+") ("bear" "eats" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If something likes the bear and it is not blue then it does not eat the tiger.
((("something" "likes" "bear" "+") ("something" "is" "blue" "~")) -> ("something" "eats" "tiger" "-"))
If something chases the bear then the bear eats the tiger.
((("something" "chases" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
The tiger chases the bear.
True
1
proof
[(triple6)]
("tiger" "chases" "bear" "+")
triple6
The tiger does not chase the bear.
False
1
inv-proof
[(triple6)]
("tiger" "chases" "bear" "-")
triple6
The bear eats the bear.
True
2
proof
[(((triple2) -> rule5) OR ((((triple6) -> rule8)) -> rule5))]
("bear" "eats" "bear" "+")
((triple2) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear does not eat the bear.
False
2
inv-proof
[(((triple2) -> rule5) OR ((((triple6) -> rule8)) -> rule5))]
("bear" "eats" "bear" "-")
((triple2) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger eats the bear.
Unknown
rconc
[@1: The tiger eats the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "eats" "bear" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2 OR ((triple6) -> rule8))] The bear is nice.[(triple3)] The bear is not young.[(triple4)] The bear likes the tiger.[(triple5)] The tiger chases the bear.[(triple6)] The tiger likes the bear.[(triple7)] @1: The bear eats the bear.[(((triple2) -> rule5) OR ((((triple6) -> rule8)) -> rule5))] @2: The tiger is kind.[(((((triple2) -> rule5) triple2) -> rule6) OR ((((triple2) -> rule5) ((triple6) -> rule8)) -> rule6) OR ((((((triple6) -> rule8)) -> rule5) triple2) -> rule6) OR ((((((triple6) -> rule8)) -> rule5) ((triple6) -> rule8)) -> rule6))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
((triple6) -> (rule8 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is not young.
("bear" "is" "young" "-")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple6
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple7
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple2) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple6) -> (rule8 % int2))) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
((((((triple6) -> (rule8 % int3))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
((((((triple6) -> (rule8 % int3))) -> (rule5 % int2)) ((triple6) -> (rule8 % int3))) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3