The cat visits the tiger. The cow eats the cat. The cow does not eat the tiger. The cow is green. The cow likes the tiger. The cow does not visit the rabbit. The rabbit eats the cow. The rabbit eats the tiger. The rabbit is blue. The rabbit likes the cat. The tiger eats the cat. The tiger eats the cow. The tiger eats the rabbit. The tiger is big. The tiger likes the cow. The tiger visits the cat. If someone likes the tiger then the tiger does not like the cat. If someone eats the cow and they are green then the cow is not blue. If someone likes the rabbit and they do not eat the cow then the rabbit is big. If someone visits the cow then they are green. If someone likes the cow then the cow does not like the rabbit. If someone eats the tiger then the tiger visits the cow. If the cat is not green then the cat visits the rabbit. If the cat is big then the cat visits the rabbit.
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
The cow is green.
("cow" "is" "green" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone likes the tiger then the tiger does not like the cat.
((("someone" "likes" "tiger" "+")) -> ("tiger" "likes" "cat" "-"))
If someone eats the cow and they are green then the cow is not blue.
((("someone" "eats" "cow" "+") ("someone" "is" "green" "+")) -> ("cow" "is" "blue" "-"))
If someone likes the rabbit and they do not eat the cow then the rabbit is big.
((("someone" "likes" "rabbit" "+") ("someone" "eats" "cow" "~")) -> ("rabbit" "is" "big" "+"))
If someone visits the cow then they are green.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "green" "+"))
If someone likes the cow then the cow does not like the rabbit.
((("someone" "likes" "cow" "+")) -> ("cow" "likes" "rabbit" "-"))
If someone eats the tiger then the tiger visits the cow.
((("someone" "eats" "tiger" "+")) -> ("tiger" "visits" "cow" "+"))
If the cat is not green then the cat visits the rabbit.
((("cat" "is" "green" "~")) -> ("cat" "visits" "rabbit" "+"))
If the cat is big then the cat visits the rabbit.
((("cat" "is" "big" "+")) -> ("cat" "visits" "rabbit" "+"))
The rabbit likes the cat.
True
1
proof
[(triple10)]
("rabbit" "likes" "cat" "+")
triple10
The cow visits the rabbit.
False
1
inv-proof
[(triple6)]
("cow" "visits" "rabbit" "+")
triple6
The tiger visits the cow.
True
2
proof
[(((triple8) -> rule6))]
("tiger" "visits" "cow" "+")
((triple8) -> (rule6 % int1))
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int1
The cow likes the rabbit.
False
2
inv-proof
[(((triple15) -> rule5))]
("cow" "likes" "rabbit" "+")
((triple15) -> (rule5 % int1))
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
int1
The tiger is green.
True
3
proof
[(((((triple8) -> rule6)) -> rule4))]
("tiger" "is" "green" "+")
((((triple8) -> (rule6 % int2))) -> (rule4 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
The tiger is not green.
False
3
inv-proof
[(((((triple8) -> rule6)) -> rule4))]
("tiger" "is" "green" "-")
((((triple8) -> (rule6 % int2))) -> (rule4 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
The cow is not blue.
True
5
proof
[(((triple12 ((((triple8) -> rule6)) -> rule4)) -> rule2))]
("cow" "is" "blue" "-")
((triple12 ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int3
The cow is blue.
False
5
inv-proof
[(((triple12 ((((triple8) -> rule6)) -> rule4)) -> rule2))]
("cow" "is" "blue" "+")
((triple12 ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int3
The cat does not visit the rabbit.
Unknown
inv-rconc
[@1: The cat visits the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "visits" "rabbit" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "big" "+")
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "green" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "green" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The cat visits the cow.
Unknown
random
[@0: The cat visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cow" "+")
@0: The cat visits the tiger.[(triple1)] The cow does not eat the tiger.[(triple3)] The cow does not visit the rabbit.[(triple6)] The cow eats the cat.[(triple2)] The cow is green.[(triple4)] The cow likes the tiger.[(triple5)] The rabbit eats the cow.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is blue.[(triple9)] The rabbit likes the cat.[(triple10)] The tiger eats the cat.[(triple11)] The tiger eats the cow.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is big.[(triple14)] The tiger likes the cow.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cow does not like the rabbit.[(((triple15) -> rule5))] The tiger does not like the cat.[(((triple5) -> rule1))] The tiger visits the cow.[(((triple8) -> rule6))] @2: The tiger is green.[(((((triple8) -> rule6)) -> rule4))] @3: The cow is not blue.[(((triple12 ((((triple8) -> rule6)) -> rule4)) -> rule2))]
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple1
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
triple3
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
triple6
The cow eats the cat.
("cow" "eats" "cat" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple4
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple5
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple7
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple10
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple11
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple12
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple13
The tiger is big.
("tiger" "is" "big" "+")
triple14
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
((triple15) -> (rule5 % int1))
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
int1
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
((triple5) -> (rule1 % int1))
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
((triple8) -> (rule6 % int1))
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((((triple8) -> (rule6 % int2))) -> (rule4 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
The cow is not blue.
("cow" "is" "blue" "-")
((triple12 ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int3