The cat is not blue. The cat is red. The cat is round. The cat likes the tiger. The tiger eats the cat. The tiger is round. The tiger sees the cat. If something likes the cat and it sees the tiger then it eats the cat. If something likes the cat then the cat sees the tiger. If something eats the cat and it sees the tiger then the cat is red. If something eats the tiger then it does not like the cat. If the cat likes the tiger and the tiger eats the cat then the cat eats the tiger. If something sees the cat and the cat sees the tiger then it sees the tiger. If something sees the tiger then the tiger does not eat the cat. If something sees the tiger and the tiger is blue then it is nice.
The cat is not blue.
("cat" "is" "blue" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something likes the cat and it sees the tiger then it eats the cat.
((("something" "likes" "cat" "+") ("something" "sees" "tiger" "+")) -> ("something" "eats" "cat" "+"))
If something likes the cat then the cat sees the tiger.
((("something" "likes" "cat" "+")) -> ("cat" "sees" "tiger" "+"))
If something eats the cat and it sees the tiger then the cat is red.
((("something" "eats" "cat" "+") ("something" "sees" "tiger" "+")) -> ("cat" "is" "red" "+"))
If something eats the tiger then it does not like the cat.
((("something" "eats" "tiger" "+")) -> ("something" "likes" "cat" "-"))
If the cat likes the tiger and the tiger eats the cat then the cat eats the tiger.
((("cat" "likes" "tiger" "+") ("tiger" "eats" "cat" "+")) -> ("cat" "eats" "tiger" "+"))
If something sees the cat and the cat sees the tiger then it sees the tiger.
((("something" "sees" "cat" "+") ("cat" "sees" "tiger" "+")) -> ("something" "sees" "tiger" "+"))
If something sees the tiger then the tiger does not eat the cat.
((("something" "sees" "tiger" "+")) -> ("tiger" "eats" "cat" "-"))
If something sees the tiger and the tiger is blue then it is nice.
((("something" "sees" "tiger" "+") ("tiger" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
The cat is not blue.
True
1
proof
[(triple1)]
("cat" "is" "blue" "-")
triple1
The tiger does not eat the cat.
False
1
inv-proof
[(triple5)]
("tiger" "eats" "cat" "-")
triple5
The cat eats the tiger.
True
3
proof
[(((triple4 triple5) -> rule5))]
("cat" "eats" "tiger" "+")
((triple4 triple5) -> (rule5 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat does not eat the tiger.
False
3
inv-proof
[(((triple4 triple5) -> rule5))]
("cat" "eats" "tiger" "-")
((triple4 triple5) -> (rule5 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat does not like the cat.
True
4
proof
[(((((triple4 triple5) -> rule5)) -> rule4))]
("cat" "likes" "cat" "-")
((((triple4 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat likes the cat.
False
4
inv-proof
[(((((triple4 triple5) -> rule5)) -> rule4))]
("cat" "likes" "cat" "+")
((((triple4 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat sees the tiger.
Unknown
rconc
[@1: The cat sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "tiger" "+")
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "nice" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The cat is not blue.[(triple1)] The cat is red.[(triple2)] The cat is round.[(triple3)] The cat likes the tiger.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is round.[(triple6)] The tiger sees the cat.[(triple7)] @1: The cat eats the tiger.[(((triple4 triple5) -> rule5))] @2: The cat does not like the cat.[(((((triple4 triple5) -> rule5)) -> rule4))]
The cat is not blue.
("cat" "is" "blue" "-")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple4
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple5
The tiger is round.
("tiger" "is" "round" "+")
triple6
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple7
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple4 triple5) -> (rule5 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat does not like the cat.
("cat" "likes" "cat" "-")
((((triple4 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2