The bear chases the squirrel. The bear chases the tiger. The bear eats the squirrel. The bear is big. The bear is rough. The bear likes the squirrel. The squirrel eats the tiger. The squirrel is green. The squirrel is rough. The squirrel likes the tiger. The tiger chases the bear. The tiger chases the squirrel. The tiger eats the bear. The tiger eats the squirrel. The tiger is green. If something eats the bear then it is cold.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is green.
("tiger" "is" "green" "+")
If something eats the bear then it is cold.
((("something" "eats" "bear" "+")) -> ("something" "is" "cold" "+"))
The squirrel is rough.
True
1
proof
[(triple9)]
("squirrel" "is" "rough" "+")
triple9
The bear does not chase the tiger.
False
1
inv-proof
[(triple2)]
("bear" "chases" "tiger" "-")
triple2
The tiger is cold.
True
2
proof
[(((triple13) -> rule1))]
("tiger" "is" "cold" "+")
((triple13) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple13) -> rule1))]
("tiger" "is" "cold" "-")
((triple13) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "cold" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "+")
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 tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bear chases the squirrel.[(triple1)] The bear chases the tiger.[(triple2)] The bear eats the squirrel.[(triple3)] The bear is big.[(triple4)] The bear is rough.[(triple5)] The bear likes the squirrel.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is green.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the tiger.[(triple10)] The tiger chases the bear.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger eats the bear.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger is green.[(triple15)] @1: The tiger is cold.[(((triple13) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple11
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple12
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple13
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple14
The tiger is green.
("tiger" "is" "green" "+")
triple15
The tiger is cold.
("tiger" "is" "cold" "+")
((triple13) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1