The bear is cold. The bear is kind. The bear needs the rabbit. The bear sees the tiger. The rabbit eats the bear. The rabbit eats the tiger. The rabbit is blue. The rabbit is rough. The rabbit needs the bear. The rabbit sees the bear. The rabbit sees the tiger. The tiger eats the rabbit. The tiger needs the bear. The tiger needs the rabbit. The tiger sees the bear. The tiger sees the rabbit. If someone eats the bear and the bear is rough then the bear sees the tiger. If someone eats the rabbit then they eat the bear. If someone is blue and they eat the tiger then they are cold. If the rabbit eats the tiger and the tiger sees the bear then the bear eats the tiger. If someone is round then they eat the bear. If someone sees the tiger then the tiger sees the bear. If someone sees the rabbit then the rabbit is round. If someone eats the rabbit then the rabbit sees the tiger.
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If someone eats the bear and the bear is rough then the bear sees the tiger.
((("someone" "eats" "bear" "+") ("bear" "is" "rough" "+")) -> ("bear" "sees" "tiger" "+"))
If someone eats the rabbit then they eat the bear.
((("someone" "eats" "rabbit" "+")) -> ("someone" "eats" "bear" "+"))
If someone is blue and they eat the tiger then they are cold.
((("someone" "is" "blue" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If the rabbit eats the tiger and the tiger sees the bear then the bear eats the tiger.
((("rabbit" "eats" "tiger" "+") ("tiger" "sees" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
If someone is round then they eat the bear.
((("someone" "is" "round" "+")) -> ("someone" "eats" "bear" "+"))
If someone sees the tiger then the tiger sees the bear.
((("someone" "sees" "tiger" "+")) -> ("tiger" "sees" "bear" "+"))
If someone sees the rabbit then the rabbit is round.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If someone eats the rabbit then the rabbit sees the tiger.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "sees" "tiger" "+"))
The bear is kind.
True
1
proof
[(triple2)]
("bear" "is" "kind" "+")
triple2
The bear does not need the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "needs" "rabbit" "-")
triple3
The bear eats the tiger.
True
3
proof
[(((triple6 triple15) -> rule4) OR ((triple6 ((triple11) -> rule6)) -> rule4) OR ((triple6 ((triple4) -> rule6)) -> rule4) OR ((triple6 ((((triple12) -> rule8)) -> rule6)) -> rule4))]
("bear" "eats" "tiger" "+")
((triple6 triple15) -> (rule4 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
((triple6 ((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
((triple6 ((triple4) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
((triple6 ((((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
int3
The tiger does not eat the bear.
False
2
inv-proof
[(((triple12) -> rule2))]
("tiger" "eats" "bear" "-")
((triple12) -> (rule2 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "bear" "-")
The tiger is cold.
Unknown
rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "cold" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bear sees the rabbit.
Unknown
random
[@0: The bear sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "rabbit" "+")
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear needs the rabbit.[(triple3)] The bear sees the tiger.[(triple4)] The rabbit eats the bear.[(triple5 OR ((((triple16) -> rule7)) -> rule5))] The rabbit eats the tiger.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is rough.[(triple8)] The rabbit needs the bear.[(triple9)] The rabbit sees the bear.[(triple10)] The rabbit sees the tiger.[(triple11 OR ((triple12) -> rule8))] The tiger eats the rabbit.[(triple12)] The tiger needs the bear.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger sees the bear.[(triple15 OR ((triple11) -> rule6) OR ((triple4) -> rule6) OR ((((triple12) -> rule8)) -> rule6))] The tiger sees the rabbit.[(triple16)] @1: The bear eats the tiger.[(((triple6 triple15) -> rule4) OR ((triple6 ((triple11) -> rule6)) -> rule4) OR ((triple6 ((triple4) -> rule6)) -> rule4) OR ((triple6 ((((triple12) -> rule8)) -> rule6)) -> rule4))] The rabbit is cold.[(((triple7 triple6) -> rule3))] The rabbit is round.[(((triple16) -> rule7))] The tiger eats the bear.[(((triple12) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple4
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple5
((((triple16) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple11
((triple12) -> (rule8 % int1))
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple12
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple13
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple14
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple15
((triple11) -> (rule6 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
((triple4) -> (rule6 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule6 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple16
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((triple6 triple15) -> (rule4 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
((triple6 ((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
((triple6 ((triple4) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
((triple6 ((((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple7 triple6) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple16) -> (rule7 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((triple12) -> (rule2 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1