The bear is big. The bear does not need the squirrel. The bear does not visit the squirrel. The bear does not visit the tiger. The squirrel chases the bear. The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel needs the bear. The squirrel needs the tiger. The squirrel does not visit the tiger. The tiger chases the bear. The tiger is big. The tiger is round. The tiger does not need the bear. The tiger visits the squirrel. If something visits the squirrel then the squirrel needs the bear. If something is nice then it needs the squirrel. If something visits the tiger and it does not chase the squirrel then the squirrel chases the tiger.
The bear is big.
("bear" "is" "big" "+")
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
The bear does not visit the tiger.
("bear" "visits" "tiger" "-")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel does not visit the tiger.
("squirrel" "visits" "tiger" "-")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something visits the squirrel then the squirrel needs the bear.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
If something is nice then it needs the squirrel.
((("something" "is" "nice" "+")) -> ("something" "needs" "squirrel" "+"))
If something visits the tiger and it does not chase the squirrel then the squirrel chases the tiger.
((("something" "visits" "tiger" "+") ("something" "chases" "squirrel" "~")) -> ("squirrel" "chases" "tiger" "+"))
The tiger does not need the bear.
True
1
proof
[(triple15)]
("tiger" "needs" "bear" "-")
triple15
The squirrel is not big.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "big" "-")
triple6
The squirrel does not chase the tiger.
Unknown
inv-rconc
[@1: The squirrel chases the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "tiger" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The bear does not need the squirrel.[(triple2)] The bear does not visit the squirrel.[(triple3)] The bear does not visit the tiger.[(triple4)] The bear is big.[(triple1)] The squirrel chases the bear.[(triple5)] The squirrel does not visit the tiger.[(triple11)] The squirrel is big.[(triple6)] The squirrel is green.[(triple7)] The squirrel is nice.[(triple8)] The squirrel needs the bear.[(triple9 OR ((triple16) -> rule1))] The squirrel needs the tiger.[(triple10)] The tiger chases the bear.[(triple12)] The tiger does not need the bear.[(triple15)] The tiger is big.[(triple13)] The tiger is round.[(triple14)] The tiger visits the squirrel.[(triple16)] @1: The squirrel needs the squirrel.[(((triple8) -> rule2))]
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
triple2
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
triple3
The bear does not visit the tiger.
("bear" "visits" "tiger" "-")
triple4
The bear is big.
("bear" "is" "big" "+")
triple1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple5
The squirrel does not visit the tiger.
("squirrel" "visits" "tiger" "-")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple9
((triple16) -> (rule1 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple12
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
triple15
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple8) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1