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