The bear does not eat the squirrel. The bear is green. The bear visits the squirrel. The squirrel eats the bear. The squirrel is cold. The squirrel is not green. The squirrel is red. The squirrel likes the bear. The squirrel likes the tiger. The squirrel does not visit the tiger. The tiger does not like the squirrel. The tiger does not visit the bear. If someone visits the bear then the bear likes the squirrel. If someone likes the bear then they are round.
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is green.
("bear" "is" "green" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel does not visit the tiger.
("squirrel" "visits" "tiger" "-")
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
If someone visits the bear then the bear likes the squirrel.
((("someone" "visits" "bear" "+")) -> ("bear" "likes" "squirrel" "+"))
If someone likes the bear then they are round.
((("someone" "likes" "bear" "+")) -> ("someone" "is" "round" "+"))
The bear is green.
True
1
proof
[(triple2)]
("bear" "is" "green" "+")
triple2
The tiger likes the squirrel.
False
1
inv-proof
[(triple11)]
("tiger" "likes" "squirrel" "+")
triple11
The squirrel is round.
True
2
proof
[(((triple8) -> rule2))]
("squirrel" "is" "round" "+")
((triple8) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple8) -> rule2))]
("squirrel" "is" "round" "-")
((triple8) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "round" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "round" "+")
The tiger does not visit the squirrel.
Unknown
inv-random
[@0: The tiger visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "squirrel" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear does not eat the squirrel.[(triple1)] The bear is green.[(triple2)] The bear visits the squirrel.[(triple3)] The squirrel does not visit the tiger.[(triple10)] The squirrel eats the bear.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is not green.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger does not like the squirrel.[(triple11)] The tiger does not visit the bear.[(triple12)] @1: The squirrel is round.[(((triple8) -> rule2))]
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple3
The squirrel does not visit the tiger.
("squirrel" "visits" "tiger" "-")
triple10
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple4
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple5
The squirrel is not green.
("squirrel" "is" "green" "-")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple8
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple9
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
triple11
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
((triple8) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1