The bear chases the tiger. The bear is kind. The bear likes the tiger. The bear needs the tiger. The tiger chases the bear. The tiger likes the bear. The tiger needs the bear. If something chases the tiger then it is round.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If something chases the tiger then it is round.
((("something" "chases" "tiger" "+")) -> ("something" "is" "round" "+"))
The tiger needs the bear.
True
1
proof
[(triple7)]
("tiger" "needs" "bear" "+")
triple7
The bear does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bear" "chases" "tiger" "-")
triple1
The bear is round.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "round" "-")
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bear chases the tiger.[(triple1)] The bear is kind.[(triple2)] The bear likes the tiger.[(triple3)] The bear needs the tiger.[(triple4)] The tiger chases the bear.[(triple5)] The tiger likes the bear.[(triple6)] The tiger needs the bear.[(triple7)] @1: The bear is round.[(((triple1) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple4
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple5
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple6
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple7
The bear is round.
("bear" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1