The bear chases the tiger. The bear is cold. The bear is nice. The bear is not rough. The bear is round. The bear is young. The bear needs the squirrel. The bear sees the tiger. The squirrel chases the tiger. The squirrel does not see the tiger. The tiger chases the bear. The tiger chases the squirrel. The tiger is cold. The tiger needs the bear. The tiger does not need the squirrel. The tiger sees the squirrel. If someone is nice then they need the tiger. If the squirrel needs the bear and the squirrel chases the tiger then the tiger chases the bear. If someone is round and they do not chase the squirrel then the squirrel needs the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone is nice then they need the tiger.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "tiger" "+"))
If the squirrel needs the bear and the squirrel chases the tiger then the tiger chases the bear.
((("squirrel" "needs" "bear" "+") ("squirrel" "chases" "tiger" "+")) -> ("tiger" "chases" "bear" "+"))
If someone is round and they do not chase the squirrel then the squirrel needs the tiger.
((("someone" "is" "round" "+") ("someone" "chases" "squirrel" "~")) -> ("squirrel" "needs" "tiger" "+"))
The tiger needs the bear.
True
1
proof
[(triple14)]
("tiger" "needs" "bear" "+")
triple14
The tiger does not need the bear.
False
1
inv-proof
[(triple14)]
("tiger" "needs" "bear" "-")
triple14
The bear needs the tiger.
True
2
proof
[(((triple3) -> rule1))]
("bear" "needs" "tiger" "+")
((triple3) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear does not need the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "needs" "tiger" "-")
((triple3) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The squirrel does not need the tiger.
Unknown
inv-rconc
[@1: The squirrel needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "tiger" "-")
The tiger needs the tiger.
Unknown
rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "tiger" "+")
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 tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bear chases the tiger.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear is not rough.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear needs the squirrel.[(triple7)] The bear sees the tiger.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel does not see the tiger.[(triple10)] The tiger chases the bear.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger does not need the squirrel.[(triple15)] The tiger is cold.[(triple13)] The tiger needs the bear.[(triple14)] The tiger sees the squirrel.[(triple16)] @1: The bear needs the tiger.[(((triple3) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is not rough.
("bear" "is" "rough" "-")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple8
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple9
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple11
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple12
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
triple15
The tiger is cold.
("tiger" "is" "cold" "+")
triple13
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple14
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16
The bear needs the tiger.
("bear" "needs" "tiger" "+")
((triple3) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1