The bear eats the rabbit. The bear is big. The bear is round. The bear does not like the cat. The bear does not see the cat. The bear sees the tiger. The cat eats the rabbit. The cat is big. The cat does not like the bear. The cat likes the rabbit. The rabbit eats the tiger. The rabbit is big. The rabbit likes the tiger. The tiger eats the bear. The tiger likes the cat. The tiger sees the bear. If something eats the rabbit and the rabbit sees the tiger then it likes the rabbit. If something sees the tiger then it eats the bear. If something likes the bear then the bear likes the cat. If something sees the bear then the bear sees the rabbit. If something eats the tiger and the tiger sees the cat then the cat is blue. If something sees the tiger then the tiger sees the cat.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not like the cat.
("bear" "likes" "cat" "-")
The bear does not see the cat.
("bear" "sees" "cat" "-")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat does not like the bear.
("cat" "likes" "bear" "-")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If something eats the rabbit and the rabbit sees the tiger then it likes the rabbit.
((("something" "eats" "rabbit" "+") ("rabbit" "sees" "tiger" "+")) -> ("something" "likes" "rabbit" "+"))
If something sees the tiger then it eats the bear.
((("something" "sees" "tiger" "+")) -> ("something" "eats" "bear" "+"))
If something likes the bear then the bear likes the cat.
((("something" "likes" "bear" "+")) -> ("bear" "likes" "cat" "+"))
If something sees the bear then the bear sees the rabbit.
((("something" "sees" "bear" "+")) -> ("bear" "sees" "rabbit" "+"))
If something eats the tiger and the tiger sees the cat then the cat is blue.
((("something" "eats" "tiger" "+") ("tiger" "sees" "cat" "+")) -> ("cat" "is" "blue" "+"))
If something sees the tiger then the tiger sees the cat.
((("something" "sees" "tiger" "+")) -> ("tiger" "sees" "cat" "+"))
The cat does not like the bear.
True
1
proof
[(triple9)]
("cat" "likes" "bear" "-")
triple9
The bear does not see the tiger.
False
1
inv-proof
[(triple6)]
("bear" "sees" "tiger" "-")
triple6
The tiger sees the cat.
True
2
proof
[(((triple6) -> rule6))]
("tiger" "sees" "cat" "+")
((triple6) -> (rule6 % int1))
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int1
The tiger does not see the cat.
False
2
inv-proof
[(((triple6) -> rule6))]
("tiger" "sees" "cat" "-")
((triple6) -> (rule6 % int1))
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int1
The cat is blue.
True
4
proof
[(((triple11 ((triple6) -> rule6)) -> rule5))]
("cat" "is" "blue" "+")
((triple11 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int2
The cat is not blue.
False
4
inv-proof
[(((triple11 ((triple6) -> rule6)) -> rule5))]
("cat" "is" "blue" "-")
((triple11 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int2
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit eats the bear.
Unknown
rconc
[@1: The rabbit eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "bear" "+")
The tiger does not like the rabbit.
Unknown
inv-rconc
[@1: The tiger likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "rabbit" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear does not like the cat.[(triple4)] The bear does not see the cat.[(triple5)] The bear eats the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is round.[(triple3)] The bear sees the tiger.[(triple6)] The cat does not like the bear.[(triple9)] The cat eats the rabbit.[(triple7)] The cat is big.[(triple8)] The cat likes the rabbit.[(triple10)] The rabbit eats the tiger.[(triple11)] The rabbit is big.[(triple12)] The rabbit likes the tiger.[(triple13)] The tiger eats the bear.[(triple14)] The tiger likes the cat.[(triple15)] The tiger sees the bear.[(triple16)] @1: The bear eats the bear.[(((triple6) -> rule2))] The bear sees the rabbit.[(((triple16) -> rule4))] The tiger sees the cat.[(((triple6) -> rule6))] @2: The cat is blue.[(((triple11 ((triple6) -> rule6)) -> rule5))]
The bear does not like the cat.
("bear" "likes" "cat" "-")
triple4
The bear does not see the cat.
("bear" "sees" "cat" "-")
triple5
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The cat does not like the bear.
("cat" "likes" "bear" "-")
triple9
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple7
The cat is big.
("cat" "is" "big" "+")
triple8
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple10
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
triple12
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple13
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple14
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple15
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple16
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple6) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((triple16) -> (rule4 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The tiger sees the cat.
("tiger" "sees" "cat" "+")
((triple6) -> (rule6 % int1))
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple11 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int2