The bear chases the squirrel. The bear chases the tiger. The bear is cold. The bear is kind. The bear is nice. The bear likes the squirrel. The bear needs the squirrel. The squirrel chases the tiger. The squirrel is nice. The squirrel needs the tiger. The tiger chases the bear. The tiger is cold. The tiger is nice. The tiger likes the bear. The tiger needs the squirrel. If something likes the squirrel and it needs the bear then the bear needs the tiger. If something chases the squirrel then it chases the tiger. If the tiger is kind and the tiger needs the bear then the tiger chases the squirrel. If something needs the tiger then it is kind. If something chases the squirrel and it is young then it needs the bear. If something needs the bear then it likes the tiger. If something chases the bear and it is cold then it needs the bear. If something is green then it chases the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something likes the squirrel and it needs the bear then the bear needs the tiger.
((("something" "likes" "squirrel" "+") ("something" "needs" "bear" "+")) -> ("bear" "needs" "tiger" "+"))
If something chases the squirrel then it chases the tiger.
((("something" "chases" "squirrel" "+")) -> ("something" "chases" "tiger" "+"))
If the tiger is kind and the tiger needs the bear then the tiger chases the squirrel.
((("tiger" "is" "kind" "+") ("tiger" "needs" "bear" "+")) -> ("tiger" "chases" "squirrel" "+"))
If something needs the tiger then it is kind.
((("something" "needs" "tiger" "+")) -> ("something" "is" "kind" "+"))
If something chases the squirrel and it is young then it needs the bear.
((("something" "chases" "squirrel" "+") ("something" "is" "young" "+")) -> ("something" "needs" "bear" "+"))
If something needs the bear then it likes the tiger.
((("something" "needs" "bear" "+")) -> ("something" "likes" "tiger" "+"))
If something chases the bear and it is cold then it needs the bear.
((("something" "chases" "bear" "+") ("something" "is" "cold" "+")) -> ("something" "needs" "bear" "+"))
If something is green then it chases the bear.
((("something" "is" "green" "+")) -> ("something" "chases" "bear" "+"))
The bear likes the squirrel.
True
1
proof
[(triple6)]
("bear" "likes" "squirrel" "+")
triple6
The tiger does not need the squirrel.
False
1
inv-proof
[(triple15)]
("tiger" "needs" "squirrel" "-")
triple15
The squirrel is kind.
True
2
proof
[(((triple10) -> rule4))]
("squirrel" "is" "kind" "+")
((triple10) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple10) -> rule4))]
("squirrel" "is" "kind" "-")
((triple10) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear does not like the tiger.
Unknown
inv-rconc
[@3: The bear likes the tiger.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule8 <- FAIL)]]
("bear" "likes" "tiger" "-")
The bear needs the bear.
Unknown
rconc
[@2: The bear needs the bear.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("bear" "needs" "bear" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The bear chases the squirrel.[(triple1)] The bear chases the tiger.[(triple2 OR ((triple1) -> rule2))] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is nice.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger chases the bear.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger likes the bear.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The squirrel is kind.[(((triple10) -> rule4))] The tiger needs the bear.[(((triple11 triple12) -> rule7))] @2: The tiger likes the tiger.[(((((triple11 triple12) -> rule7)) -> rule6))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
((triple1) -> (rule2 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple10) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The tiger needs the bear.
("tiger" "needs" "bear" "+")
((triple11 triple12) -> (rule7 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple11 triple12) -> (rule7 % int2))) -> (rule6 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int2