The bear is big. The bear visits the lion. The cow is not rough. The cow likes the bear. The lion chases the cow. The tiger chases the bear. The tiger chases the cow. The tiger is red. The tiger likes the bear. The tiger does not like the lion. If something is rough then it visits the bear. If something chases the bear and the bear is big then the bear is rough. If something visits the tiger then the tiger likes the bear.
The bear is big.
("bear" "is" "big" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow likes the bear.
("cow" "likes" "bear" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
If something is rough then it visits the bear.
((("something" "is" "rough" "+")) -> ("something" "visits" "bear" "+"))
If something chases the bear and the bear is big then the bear is rough.
((("something" "chases" "bear" "+") ("bear" "is" "big" "+")) -> ("bear" "is" "rough" "+"))
If something visits the tiger then the tiger likes the bear.
((("something" "visits" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
The lion chases the cow.
True
1
proof
[(triple5)]
("lion" "chases" "cow" "+")
triple5
The lion does not chase the cow.
False
1
inv-proof
[(triple5)]
("lion" "chases" "cow" "-")
triple5
The bear is rough.
True
3
proof
[(((triple6 triple1) -> rule2))]
("bear" "is" "rough" "+")
((triple6 triple1) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
3
inv-proof
[(((triple6 triple1) -> rule2))]
("bear" "is" "rough" "-")
((triple6 triple1) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear visits the bear.
True
4
proof
[(((((triple6 triple1) -> rule2)) -> rule1))]
("bear" "visits" "bear" "+")
((((triple6 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear does not visit the bear.
False
4
inv-proof
[(((((triple6 triple1) -> rule2)) -> rule1))]
("bear" "visits" "bear" "-")
((((triple6 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The lion does not visit the bear.
Unknown
inv-rconc
[@1: The lion visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "bear" "-")
The cow visits the bear.
Unknown
rconc
[@1: The cow visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "bear" "+")
The tiger does not visit the bear.
Unknown
inv-rconc
[@1: The tiger visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "bear" "-")
The bear chases the cow.
Unknown
random
[@0: The bear chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cow" "+")
The lion does not chase the tiger.
Unknown
inv-random
[@0: The lion chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "tiger" "-")
The cow chases the lion.
Unknown
random
[@0: The cow chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "lion" "+")
@0: The bear is big.[(triple1)] The bear visits the lion.[(triple2)] The cow is not rough.[(triple3)] The cow likes the bear.[(triple4)] The lion chases the cow.[(triple5)] The tiger chases the bear.[(triple6)] The tiger chases the cow.[(triple7)] The tiger does not like the lion.[(triple10)] The tiger is red.[(triple8)] The tiger likes the bear.[(triple9)] @1: The bear is rough.[(((triple6 triple1) -> rule2))] @2: The bear visits the bear.[(((((triple6 triple1) -> rule2)) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear visits the lion.
("bear" "visits" "lion" "+")
triple2
The cow is not rough.
("cow" "is" "rough" "-")
triple3
The cow likes the bear.
("cow" "likes" "bear" "+")
triple4
The lion chases the cow.
("lion" "chases" "cow" "+")
triple5
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple6
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple7
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple9
The bear is rough.
("bear" "is" "rough" "+")
((triple6 triple1) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((((triple6 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2