The cat does not chase the tiger. The cat does not eat the rabbit. The cat is cold. The cat does not visit the tiger. The rabbit chases the cat. The tiger is red. The tiger does not visit the cat. If someone is red then they do not eat the rabbit. If someone eats the rabbit and they do not visit the tiger then the rabbit is cold. If someone eats the tiger and they eat the cat then the cat chases the tiger. If someone chases the tiger and they do not chase the cat then they visit the rabbit. If someone is big and they do not eat the tiger then the tiger does not eat the cat. If the tiger chases the rabbit and the rabbit is nice then the tiger does not eat the cat. If someone is green and they do not chase the cat then they are not red. If the rabbit visits the cat and the rabbit is not cold then the cat visits the rabbit.
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger does not visit the cat.
("tiger" "visits" "cat" "-")
If someone is red then they do not eat the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "eats" "rabbit" "-"))
If someone eats the rabbit and they do not visit the tiger then the rabbit is cold.
((("someone" "eats" "rabbit" "+") ("someone" "visits" "tiger" "~")) -> ("rabbit" "is" "cold" "+"))
If someone eats the tiger and they eat the cat then the cat chases the tiger.
((("someone" "eats" "tiger" "+") ("someone" "eats" "cat" "+")) -> ("cat" "chases" "tiger" "+"))
If someone chases the tiger and they do not chase the cat then they visit the rabbit.
((("someone" "chases" "tiger" "+") ("someone" "chases" "cat" "~")) -> ("someone" "visits" "rabbit" "+"))
If someone is big and they do not eat the tiger then the tiger does not eat the cat.
((("someone" "is" "big" "+") ("someone" "eats" "tiger" "~")) -> ("tiger" "eats" "cat" "-"))
If the tiger chases the rabbit and the rabbit is nice then the tiger does not eat the cat.
((("tiger" "chases" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("tiger" "eats" "cat" "-"))
If someone is green and they do not chase the cat then they are not red.
((("someone" "is" "green" "+") ("someone" "chases" "cat" "~")) -> ("someone" "is" "red" "-"))
If the rabbit visits the cat and the rabbit is not cold then the cat visits the rabbit.
((("rabbit" "visits" "cat" "+") ("rabbit" "is" "cold" "~")) -> ("cat" "visits" "rabbit" "+"))
The cat does not eat the rabbit.
True
1
proof
[(triple2)]
("cat" "eats" "rabbit" "-")
triple2
The rabbit does not chase the cat.
False
1
inv-proof
[(triple5)]
("rabbit" "chases" "cat" "-")
triple5
The tiger does not eat the rabbit.
True
2
proof
[(((triple6) -> rule1))]
("tiger" "eats" "rabbit" "-")
((triple6) -> (rule1 % int1))
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
int1
The tiger eats the rabbit.
False
2
inv-proof
[(((triple6) -> rule1))]
("tiger" "eats" "rabbit" "+")
((triple6) -> (rule1 % int1))
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
int1
The cat does not visit the rabbit.
Unknown
inv-rconc
[@1: The cat visits the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The cat does not chase the tiger.[(triple1)] The cat does not eat the rabbit.[(triple2)] The cat does not visit the tiger.[(triple4)] The cat is cold.[(triple3)] The rabbit chases the cat.[(triple5)] The tiger does not visit the cat.[(triple7)] The tiger is red.[(triple6)] @1: The tiger does not eat the rabbit.[(((triple6) -> rule1))]
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
triple1
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
triple2
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple3
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple5
The tiger does not visit the cat.
("tiger" "visits" "cat" "-")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple6
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
((triple6) -> (rule1 % int1))
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
int1