The bear is nice. The bear is red. The bear is young. The bear likes the lion. The bear needs the lion. The bear visits the lion. The lion is green. The lion likes the bear. The lion needs the bear. The lion visits the bear. If something needs the lion and it is nice then it visits the bear.
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something needs the lion and it is nice then it visits the bear.
((("something" "needs" "lion" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "bear" "+"))
The bear visits the lion.
True
1
proof
[(triple6)]
("bear" "visits" "lion" "+")
triple6
The bear does not like the lion.
False
1
inv-proof
[(triple4)]
("bear" "likes" "lion" "-")
triple4
The bear visits the bear.
True
3
proof
[(((triple5 triple1) -> rule1))]
("bear" "visits" "bear" "+")
((triple5 triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
3
inv-proof
[(((triple5 triple1) -> rule1))]
("bear" "visits" "bear" "-")
((triple5 triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The bear is nice.[(triple1)] The bear is red.[(triple2)] The bear is young.[(triple3)] The bear likes the lion.[(triple4)] The bear needs the lion.[(triple5)] The bear visits the lion.[(triple6)] The lion is green.[(triple7)] The lion likes the bear.[(triple8)] The lion needs the bear.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear visits the bear.[(((triple5 triple1) -> rule1))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the lion.
("bear" "likes" "lion" "+")
triple4
The bear needs the lion.
("bear" "needs" "lion" "+")
triple5
The bear visits the lion.
("bear" "visits" "lion" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion likes the bear.
("lion" "likes" "bear" "+")
triple8
The lion needs the bear.
("lion" "needs" "bear" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple5 triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1