The bear eats the tiger. The bear is blue. The bear is green. The bear visits the squirrel. The squirrel chases the bear. The squirrel eats the tiger. The squirrel is green. The squirrel visits the bear. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is rough. The tiger visits the bear. If something visits the tiger then it is young.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something visits the tiger then it is young.
((("something" "visits" "tiger" "+")) -> ("something" "is" "young" "+"))
The squirrel visits the bear.
True
1
proof
[(triple8)]
("squirrel" "visits" "bear" "+")
triple8
The bear does not visit the squirrel.
False
1
inv-proof
[(triple4)]
("bear" "visits" "squirrel" "-")
triple4
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "young" "-")
The bear chases the tiger.
Unknown
random
[@0: The bear chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "tiger" "+")
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear visits the squirrel.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel eats the tiger.[(triple6)] The squirrel is green.[(triple7)] The squirrel visits the bear.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is rough.[(triple11)] The tiger visits the bear.[(triple12)] @1: The squirrel is young.[(((triple9) -> rule1))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple4
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple5
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple8
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple9
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
((triple9) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1