The bear is green. The bear is young. The squirrel eats the bear. The squirrel is green. The tiger is green. The tiger likes the squirrel. The tiger sees the bear. All kind things are nice.
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
All kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
The tiger is green.
True
1
proof
[(triple5)]
("tiger" "is" "green" "+")
triple5
The tiger does not like the squirrel.
False
1
inv-proof
[(triple6)]
("tiger" "likes" "squirrel" "-")
triple6
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "nice" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is green.[(triple1)] The bear is young.[(triple2)] The squirrel eats the bear.[(triple3)] The squirrel is green.[(triple4)] The tiger is green.[(triple5)] The tiger likes the squirrel.[(triple6)] The tiger sees the bear.[(triple7)]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple3
The squirrel is green.
("squirrel" "is" "green" "+")
triple4
The tiger is green.
("tiger" "is" "green" "+")
triple5
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple6
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple7