The bear is blue. The bear is kind. The bear is rough. The bear sees the tiger. The rabbit chases the bear. The rabbit does not chase the tiger. The rabbit is not kind. The rabbit needs the tiger. The tiger is not blue. The tiger needs the bear. If the tiger chases the rabbit then the tiger is not kind. If the rabbit is rough and the rabbit does not need the tiger then the rabbit chases the tiger. If someone is rough then they need the bear. If someone chases the bear then they are rough. If someone needs the bear then they need the rabbit. If someone chases the rabbit and they are not big then the rabbit chases the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If the tiger chases the rabbit then the tiger is not kind.
((("tiger" "chases" "rabbit" "+")) -> ("tiger" "is" "kind" "-"))
If the rabbit is rough and the rabbit does not need the tiger then the rabbit chases the tiger.
((("rabbit" "is" "rough" "+") ("rabbit" "needs" "tiger" "~")) -> ("rabbit" "chases" "tiger" "+"))
If someone is rough then they need the bear.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "bear" "+"))
If someone chases the bear then they are rough.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "rough" "+"))
If someone needs the bear then they need the rabbit.
((("someone" "needs" "bear" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone chases the rabbit and they are not big then the rabbit chases the bear.
((("someone" "chases" "rabbit" "+") ("someone" "is" "big" "~")) -> ("rabbit" "chases" "bear" "+"))
The rabbit does not chase the tiger.
True
1
proof
[(triple6)]
("rabbit" "chases" "tiger" "-")
triple6
The rabbit is kind.
False
1
inv-proof
[(triple7)]
("rabbit" "is" "kind" "+")
triple7
The tiger needs the rabbit.
True
2
proof
[(((triple10) -> rule5))]
("tiger" "needs" "rabbit" "+")
((triple10) -> (rule5 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger does not need the rabbit.
False
2
inv-proof
[(((triple10) -> rule5))]
("tiger" "needs" "rabbit" "-")
((triple10) -> (rule5 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the bear.
True
3
proof
[(((((triple5) -> rule4)) -> rule3))]
("rabbit" "needs" "bear" "+")
((((triple5) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit does not need the bear.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule3))]
("rabbit" "needs" "bear" "-")
((((triple5) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The tiger is not rough.
Unknown
inv-rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "rough" "-")
The rabbit sees the tiger.
Unknown
random
[@0: The rabbit sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "tiger" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
The bear does not chase the rabbit.
Unknown
inv-random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "-")
The tiger chases the rabbit.
Unknown
random
[@0: The tiger chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "rabbit" "+")
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The bear sees the tiger.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit does not chase the tiger.[(triple6)] The rabbit is not kind.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger is not blue.[(triple9)] The tiger needs the bear.[(triple10)] @1: The bear needs the bear.[(((triple3) -> rule3))] The rabbit is rough.[(((triple5) -> rule4))] The tiger needs the rabbit.[(((triple10) -> rule5))] @2: The bear needs the rabbit.[(((((triple3) -> rule3)) -> rule5))] The rabbit needs the bear.[(((((triple5) -> rule4)) -> rule3))] @3: The rabbit needs the rabbit.[(((((((triple5) -> rule4)) -> rule3)) -> rule5))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple5
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
triple6
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The tiger is not blue.
("tiger" "is" "blue" "-")
triple9
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple10
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple3) -> (rule3 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple5) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
((triple10) -> (rule5 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((((triple5) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((((((triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3