The bear chases the lion. The lion is red. The lion visits the squirrel. The squirrel chases the lion. The squirrel is cold. The squirrel is rough. The squirrel sees the lion. If someone chases the lion and they see the lion then they are kind. If the squirrel chases the bear and the squirrel visits the bear then the bear sees the squirrel.
The bear chases the lion.
("bear" "chases" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone chases the lion and they see the lion then they are kind.
((("someone" "chases" "lion" "+") ("someone" "sees" "lion" "+")) -> ("someone" "is" "kind" "+"))
If the squirrel chases the bear and the squirrel visits the bear then the bear sees the squirrel.
((("squirrel" "chases" "bear" "+") ("squirrel" "visits" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
The squirrel is rough.
True
1
proof
[(triple6)]
("squirrel" "is" "rough" "+")
triple6
The squirrel is not cold.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "cold" "-")
triple5
The bear is not kind.
Unknown
inv-rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "kind" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bear chases the lion.[(triple1)] The lion is red.[(triple2)] The lion visits the squirrel.[(triple3)] The squirrel chases the lion.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is rough.[(triple6)] The squirrel sees the lion.[(triple7)] @1: The squirrel is kind.[(((triple4 triple7) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple4
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple4 triple7) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1