The bear chases the tiger. The bear is blue. The bear is green. The bear is rough. The bear likes the tiger. The bear visits the tiger. The tiger chases the bear. The tiger is nice. The tiger is rough. The tiger is round. The tiger likes the bear. The tiger visits the bear. If someone chases the tiger then the tiger likes the bear. If someone chases the bear and they are rough then the bear is green. If someone is round then they visit the bear. If someone likes the tiger then the tiger likes the bear. If someone visits the tiger and they chase the tiger then the tiger chases the bear. If someone likes the tiger and the tiger is nice then they like the bear. If someone is green and nice then they like the bear. If someone visits the tiger and the tiger visits the bear then the tiger likes the bear.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone chases the tiger then the tiger likes the bear.
((("someone" "chases" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
If someone chases the bear and they are rough then the bear is green.
((("someone" "chases" "bear" "+") ("someone" "is" "rough" "+")) -> ("bear" "is" "green" "+"))
If someone is round then they visit the bear.
((("someone" "is" "round" "+")) -> ("someone" "visits" "bear" "+"))
If someone likes the tiger then the tiger likes the bear.
((("someone" "likes" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
If someone visits the tiger and they chase the tiger then the tiger chases the bear.
((("someone" "visits" "tiger" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "chases" "bear" "+"))
If someone likes the tiger and the tiger is nice then they like the bear.
((("someone" "likes" "tiger" "+") ("tiger" "is" "nice" "+")) -> ("someone" "likes" "bear" "+"))
If someone is green and nice then they like the bear.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "bear" "+"))
If someone visits the tiger and the tiger visits the bear then the tiger likes the bear.
((("someone" "visits" "tiger" "+") ("tiger" "visits" "bear" "+")) -> ("tiger" "likes" "bear" "+"))
The bear chases the tiger.
True
1
proof
[(triple1)]
("bear" "chases" "tiger" "+")
triple1
The bear does not like the tiger.
False
1
inv-proof
[(triple5)]
("bear" "likes" "tiger" "-")
triple5
The bear likes the bear.
True
3
proof
[(((triple5 triple8) -> rule6))]
("bear" "likes" "bear" "+")
((triple5 triple8) -> (rule6 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
3
inv-proof
[(((triple5 triple8) -> rule6))]
("bear" "likes" "bear" "-")
((triple5 triple8) -> (rule6 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "bear" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3 OR ((triple7 triple9) -> rule2) OR ((((triple6 triple1) -> rule5) triple9) -> rule2))] The bear is rough.[(triple4)] The bear likes the tiger.[(triple5)] The bear visits the tiger.[(triple6)] The tiger chases the bear.[(triple7 OR ((triple6 triple1) -> rule5))] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger is round.[(triple10)] The tiger likes the bear.[(triple11 OR ((triple1) -> rule1) OR ((triple5) -> rule4) OR ((triple6 triple12) -> rule8) OR ((triple6 ((triple10) -> rule3)) -> rule8))] The tiger visits the bear.[(triple12 OR ((triple10) -> rule3))] @1: The bear likes the bear.[(((triple5 triple8) -> rule6))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
((triple7 triple9) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple6 triple1) -> (rule5 % int2)) triple9) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple6
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple7
((triple6 triple1) -> (rule5 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple10
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple11
((triple1) -> (rule1 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((triple5) -> (rule4 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((triple6 triple12) -> (rule8 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((triple6 ((triple10) -> (rule3 % int2))) -> (rule8 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
((triple10) -> (rule3 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple5 triple8) -> (rule6 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1