The cow does not eat the rabbit. The cow is green. The cow likes the rabbit. The cow likes the tiger. The cow needs the rabbit. The rabbit likes the tiger. The rabbit does not need the tiger. The tiger eats the cow. The tiger is green. The tiger is kind. The tiger does not like the cow. The tiger likes the rabbit. If someone is cold then they need the cow. If someone eats the tiger and the tiger does not like the rabbit then the rabbit likes the tiger. If someone eats the rabbit and they need the cow then the rabbit is not cold. If someone needs the tiger and they are cold then they are green. If someone likes the rabbit and the rabbit likes the tiger then they are cold. If someone is big then they need the tiger.
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
The cow is green.
("cow" "is" "green" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If someone is cold then they need the cow.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "cow" "+"))
If someone eats the tiger and the tiger does not like the rabbit then the rabbit likes the tiger.
((("someone" "eats" "tiger" "+") ("tiger" "likes" "rabbit" "~")) -> ("rabbit" "likes" "tiger" "+"))
If someone eats the rabbit and they need the cow then the rabbit is not cold.
((("someone" "eats" "rabbit" "+") ("someone" "needs" "cow" "+")) -> ("rabbit" "is" "cold" "-"))
If someone needs the tiger and they are cold then they are green.
((("someone" "needs" "tiger" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone likes the rabbit and the rabbit likes the tiger then they are cold.
((("someone" "likes" "rabbit" "+") ("rabbit" "likes" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they need the tiger.
((("someone" "is" "big" "+")) -> ("someone" "needs" "tiger" "+"))
The cow does not eat the rabbit.
True
1
proof
[(triple1)]
("cow" "eats" "rabbit" "-")
triple1
The tiger does not eat the cow.
False
1
inv-proof
[(triple8)]
("tiger" "eats" "cow" "-")
triple8
The cow is cold.
True
3
proof
[(((triple3 triple6) -> rule5))]
("cow" "is" "cold" "+")
((triple3 triple6) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The tiger is not cold.
False
3
inv-proof
[(((triple12 triple6) -> rule5))]
("tiger" "is" "cold" "-")
((triple12 triple6) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The rabbit is cold.
Unknown
rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "cold" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit eats the cow.
Unknown
random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "+")
@0: The cow does not eat the rabbit.[(triple1)] The cow is green.[(triple2)] The cow likes the rabbit.[(triple3)] The cow likes the tiger.[(triple4)] The cow needs the rabbit.[(triple5)] The rabbit does not need the tiger.[(triple7)] The rabbit likes the tiger.[(triple6)] The tiger does not like the cow.[(triple11)] The tiger eats the cow.[(triple8)] The tiger is green.[(triple9)] The tiger is kind.[(triple10)] The tiger likes the rabbit.[(triple12)] @1: The cow is cold.[(((triple3 triple6) -> rule5))] The tiger is cold.[(((triple12 triple6) -> rule5))] @2: The cow needs the cow.[(((((triple3 triple6) -> rule5)) -> rule1))] The tiger needs the cow.[(((((triple12 triple6) -> rule5)) -> rule1))]
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
triple7
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple6
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
triple11
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple12
The cow is cold.
("cow" "is" "cold" "+")
((triple3 triple6) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple12 triple6) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The tiger needs the cow.
("tiger" "needs" "cow" "+")
((((triple12 triple6) -> (rule5 % int2))) -> (rule1 % int1))
The tiger needs the cow.
("tiger" "needs" "cow" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2