The bear chases the cat. The bear does not eat the tiger. The bear is blue. The cat chases the tiger. The cat eats the bear. The cat eats the tiger. The cat is green. The tiger does not eat the bear. The tiger is not blue. The tiger is green. If something eats the cat and it is blue then it does not eat the bear. If the tiger eats the bear and the tiger eats the cat then the bear chases the cat. If something eats the cat and it eats the bear then the bear does not eat the tiger. If something eats the cat then the cat is nice. If something chases the cat then it eats the cat. If something is rough then it chases the cat. If something chases the tiger and it eats the cat then it does not eat the tiger. If something chases the cat then the cat likes the tiger.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
The bear is blue.
("bear" "is" "blue" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The tiger does not eat the bear.
("tiger" "eats" "bear" "-")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is green.
("tiger" "is" "green" "+")
If something eats the cat and it is blue then it does not eat the bear.
((("something" "eats" "cat" "+") ("something" "is" "blue" "+")) -> ("something" "eats" "bear" "-"))
If the tiger eats the bear and the tiger eats the cat then the bear chases the cat.
((("tiger" "eats" "bear" "+") ("tiger" "eats" "cat" "+")) -> ("bear" "chases" "cat" "+"))
If something eats the cat and it eats the bear then the bear does not eat the tiger.
((("something" "eats" "cat" "+") ("something" "eats" "bear" "+")) -> ("bear" "eats" "tiger" "-"))
If something eats the cat then the cat is nice.
((("something" "eats" "cat" "+")) -> ("cat" "is" "nice" "+"))
If something chases the cat then it eats the cat.
((("something" "chases" "cat" "+")) -> ("something" "eats" "cat" "+"))
If something is rough then it chases the cat.
((("something" "is" "rough" "+")) -> ("something" "chases" "cat" "+"))
If something chases the tiger and it eats the cat then it does not eat the tiger.
((("something" "chases" "tiger" "+") ("something" "eats" "cat" "+")) -> ("something" "eats" "tiger" "-"))
If something chases the cat then the cat likes the tiger.
((("something" "chases" "cat" "+")) -> ("cat" "likes" "tiger" "+"))
The tiger is green.
True
1
proof
[(triple10)]
("tiger" "is" "green" "+")
triple10
The tiger is blue.
False
1
inv-proof
[(triple9)]
("tiger" "is" "blue" "+")
triple9
The bear eats the cat.
True
2
proof
[(((triple1) -> rule5))]
("bear" "eats" "cat" "+")
((triple1) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear does not eat the cat.
False
2
inv-proof
[(((triple1) -> rule5))]
("bear" "eats" "cat" "-")
((triple1) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat is nice.
True
3
proof
[(((((triple1) -> rule5)) -> rule4))]
("cat" "is" "nice" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The cat is not nice.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule4))]
("cat" "is" "nice" "-")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The tiger does not eat the cat.
Unknown
inv-rconc
[@2: The tiger eats the cat.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("tiger" "eats" "cat" "-")
The tiger chases the cat.
Unknown
rconc
[@1: The tiger chases the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "chases" "cat" "+")
The cat does not eat the cat.
Unknown
inv-rconc
[@2: The cat eats the cat.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("cat" "eats" "cat" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The cat does not chase the bear.
Unknown
inv-random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear does not eat the tiger.[(triple2)] The bear is blue.[(triple3)] The cat chases the tiger.[(triple4)] The cat eats the bear.[(triple5)] The cat eats the tiger.[(triple6)] The cat is green.[(triple7)] The tiger does not eat the bear.[(triple8)] The tiger is green.[(triple10)] The tiger is not blue.[(triple9)] @1: The bear eats the cat.[(((triple1) -> rule5))] The cat likes the tiger.[(((triple1) -> rule8))] @2: The bear does not eat the bear.[(((((triple1) -> rule5) triple3) -> rule1))] The cat is nice.[(((((triple1) -> rule5)) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple4
The cat eats the bear.
("cat" "eats" "bear" "+")
triple5
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The tiger does not eat the bear.
("tiger" "eats" "bear" "-")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is not blue.
("tiger" "is" "blue" "-")
triple9
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple1) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple1) -> (rule8 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
((((triple1) -> (rule5 % int2)) triple3) -> (rule1 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2