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