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