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