The bear does not chase the squirrel. The bear is blue. The bear is green. The bear does not need the lion. The lion chases the bear. The lion chases the squirrel. The lion is nice. The lion is red. The lion is not round. The lion does not need the bear. The lion sees the squirrel. The squirrel is nice. The squirrel needs the bear. The squirrel sees the bear. The squirrel sees the lion. If the lion needs the bear and the lion is not blue then the lion chases the bear. If someone chases the bear and the bear does not see the lion then the lion needs the bear. If the bear chases the squirrel and the squirrel does not chase the bear then the bear is green. If someone sees the lion and the lion is red then they chase the lion. If someone is round and they chase the squirrel then the squirrel does not chase the lion. If the squirrel is nice and the squirrel is red then the squirrel chases the lion.
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear does not need the lion.
("bear" "needs" "lion" "-")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion does not need the bear.
("lion" "needs" "bear" "-")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If the lion needs the bear and the lion is not blue then the lion chases the bear.
((("lion" "needs" "bear" "+") ("lion" "is" "blue" "~")) -> ("lion" "chases" "bear" "+"))
If someone chases the bear and the bear does not see the lion then the lion needs the bear.
((("someone" "chases" "bear" "+") ("bear" "sees" "lion" "~")) -> ("lion" "needs" "bear" "+"))
If the bear chases the squirrel and the squirrel does not chase the bear then the bear is green.
((("bear" "chases" "squirrel" "+") ("squirrel" "chases" "bear" "~")) -> ("bear" "is" "green" "+"))
If someone sees the lion and the lion is red then they chase the lion.
((("someone" "sees" "lion" "+") ("lion" "is" "red" "+")) -> ("someone" "chases" "lion" "+"))
If someone is round and they chase the squirrel then the squirrel does not chase the lion.
((("someone" "is" "round" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "lion" "-"))
If the squirrel is nice and the squirrel is red then the squirrel chases the lion.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "chases" "lion" "+"))
The lion is red.
True
1
proof
[(triple8)]
("lion" "is" "red" "+")
triple8
The lion needs the bear.
False
1
inv-proof
[(triple10)]
("lion" "needs" "bear" "+")
triple10
The squirrel chases the lion.
True
3
proof
[(((triple15 triple8) -> rule4))]
("squirrel" "chases" "lion" "+")
((triple15 triple8) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel does not chase the lion.
False
3
inv-proof
[(((triple15 triple8) -> rule4))]
("squirrel" "chases" "lion" "-")
((triple15 triple8) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The bear does not chase the lion.
Unknown
inv-rconc
[@1: The bear chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "chases" "lion" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The bear does not chase the squirrel.[(triple1)] The bear does not need the lion.[(triple4)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The lion chases the bear.[(triple5)] The lion chases the squirrel.[(triple6)] The lion does not need the bear.[(triple10)] The lion is nice.[(triple7)] The lion is not round.[(triple9)] The lion is red.[(triple8)] The lion sees the squirrel.[(triple11)] The squirrel is nice.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The squirrel chases the lion.[(((triple15 triple8) -> rule4))]
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
triple1
The bear does not need the lion.
("bear" "needs" "lion" "-")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The lion chases the bear.
("lion" "chases" "bear" "+")
triple5
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple6
The lion does not need the bear.
("lion" "needs" "bear" "-")
triple10
The lion is nice.
("lion" "is" "nice" "+")
triple7
The lion is not round.
("lion" "is" "round" "-")
triple9
The lion is red.
("lion" "is" "red" "+")
triple8
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple13
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple14
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple15
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
((triple15 triple8) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1