The cat eats the tiger. The cat is rough. The cat is not round. The cat is not young. The cat needs the tiger. The cat does not visit the tiger. The tiger does not eat the cat. The tiger is not big. The tiger is cold. The tiger does not visit the cat. If someone visits the cat and they eat the tiger then the tiger is not round. If someone visits the tiger and the tiger eats the cat then they do not eat the cat. If someone needs the tiger then they need the cat.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is not round.
("cat" "is" "round" "-")
The cat is not young.
("cat" "is" "young" "-")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not visit the cat.
("tiger" "visits" "cat" "-")
If someone visits the cat and they eat the tiger then the tiger is not round.
((("someone" "visits" "cat" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "is" "round" "-"))
If someone visits the tiger and the tiger eats the cat then they do not eat the cat.
((("someone" "visits" "tiger" "+") ("tiger" "eats" "cat" "+")) -> ("someone" "eats" "cat" "-"))
If someone needs the tiger then they need the cat.
((("someone" "needs" "tiger" "+")) -> ("someone" "needs" "cat" "+"))
The tiger does not eat the cat.
True
1
proof
[(triple7)]
("tiger" "eats" "cat" "-")
triple7
The tiger eats the cat.
False
1
inv-proof
[(triple7)]
("tiger" "eats" "cat" "+")
triple7
The tiger does not need the cat.
Unknown
inv-rconc
[@1: The tiger needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "needs" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat does not visit the tiger.[(triple6)] The cat eats the tiger.[(triple1)] The cat is not round.[(triple3)] The cat is not young.[(triple4)] The cat is rough.[(triple2)] The cat needs the tiger.[(triple5)] The tiger does not eat the cat.[(triple7)] The tiger does not visit the cat.[(triple10)] The tiger is cold.[(triple9)] The tiger is not big.[(triple8)] @1: The cat needs the cat.[(((triple5) -> rule3))]
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
triple6
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cat is not round.
("cat" "is" "round" "-")
triple3
The cat is not young.
("cat" "is" "young" "-")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple5
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
triple7
The tiger does not visit the cat.
("tiger" "visits" "cat" "-")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger is not big.
("tiger" "is" "big" "-")
triple8
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple5) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1