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