The bear eats the cow. The bear eats the rabbit. The bear eats the tiger. The bear likes the cow. The bear likes the rabbit. The cow eats the rabbit. The cow is young. The cow likes the bear. The cow likes the rabbit. The cow visits the rabbit. The cow visits the tiger. The rabbit is blue. The rabbit likes the cow. The tiger is blue. The tiger likes the rabbit. If something eats the bear then the bear visits the rabbit. If something likes the cow and the cow eats the rabbit then the rabbit visits the cow. If something eats the tiger then it visits the rabbit. If something visits the cow then it eats the cow. If the rabbit eats the bear and the rabbit is young then the rabbit is cold. If something is rough then it visits the rabbit.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If something eats the bear then the bear visits the rabbit.
((("something" "eats" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
If something likes the cow and the cow eats the rabbit then the rabbit visits the cow.
((("something" "likes" "cow" "+") ("cow" "eats" "rabbit" "+")) -> ("rabbit" "visits" "cow" "+"))
If something eats the tiger then it visits the rabbit.
((("something" "eats" "tiger" "+")) -> ("something" "visits" "rabbit" "+"))
If something visits the cow then it eats the cow.
((("something" "visits" "cow" "+")) -> ("something" "eats" "cow" "+"))
If the rabbit eats the bear and the rabbit is young then the rabbit is cold.
((("rabbit" "eats" "bear" "+") ("rabbit" "is" "young" "+")) -> ("rabbit" "is" "cold" "+"))
If something is rough then it visits the rabbit.
((("something" "is" "rough" "+")) -> ("something" "visits" "rabbit" "+"))
The rabbit likes the cow.
True
1
proof
[(triple13)]
("rabbit" "likes" "cow" "+")
triple13
The cow does not visit the tiger.
False
1
inv-proof
[(triple11)]
("cow" "visits" "tiger" "-")
triple11
The rabbit visits the cow.
True
3
proof
[(((triple13 triple6) -> rule2) OR ((triple4 triple6) -> rule2))]
("rabbit" "visits" "cow" "+")
((triple13 triple6) -> (rule2 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
((triple4 triple6) -> (rule2 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The bear does not visit the rabbit.
False
2
inv-proof
[(((triple3) -> rule3))]
("bear" "visits" "rabbit" "-")
((triple3) -> (rule3 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit eats the cow.
True
4
proof
[(((((triple13 triple6) -> rule2)) -> rule4) OR ((((triple4 triple6) -> rule2)) -> rule4))]
("rabbit" "eats" "cow" "+")
((((triple13 triple6) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
((((triple4 triple6) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The rabbit does not eat the cow.
False
4
inv-proof
[(((((triple13 triple6) -> rule2)) -> rule4) OR ((((triple4 triple6) -> rule2)) -> rule4))]
("rabbit" "eats" "cow" "-")
((((triple13 triple6) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
((((triple4 triple6) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The cow eats the cow.
Unknown
rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "cow" "+")
The tiger does not visit the rabbit.
Unknown
inv-rconc
[@1: The tiger visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "visits" "rabbit" "-")
The cow eats the bear.
Unknown
random
[@0: The cow eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bear" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The rabbit eats the tiger.
Unknown
random
[@0: The rabbit eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "tiger" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the rabbit.[(triple2)] The bear eats the tiger.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the rabbit.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is young.[(triple7)] The cow likes the bear.[(triple8)] The cow likes the rabbit.[(triple9)] The cow visits the rabbit.[(triple10)] The cow visits the tiger.[(triple11)] The rabbit is blue.[(triple12)] The rabbit likes the cow.[(triple13)] The tiger is blue.[(triple14)] The tiger likes the rabbit.[(triple15)] @1: The bear visits the rabbit.[(((triple3) -> rule3))] The rabbit visits the cow.[(((triple13 triple6) -> rule2) OR ((triple4 triple6) -> rule2))] @2: The rabbit eats the cow.[(((((triple13 triple6) -> rule2)) -> rule4) OR ((((triple4 triple6) -> rule2)) -> rule4))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7
The cow likes the bear.
("cow" "likes" "bear" "+")
triple8
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple9
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple10
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple12
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple13
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple15
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple3) -> (rule3 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
((triple13 triple6) -> (rule2 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
((triple4 triple6) -> (rule2 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((((triple13 triple6) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
((((triple4 triple6) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2