The bear eats the squirrel. The bear eats the tiger. The bear is blue. The bear is red. The cow eats the squirrel. The cow eats the tiger. The cow sees the tiger. The squirrel eats the tiger. The squirrel needs the bear. The squirrel needs the cow. The squirrel needs the tiger. The tiger eats the cow. The tiger eats the squirrel. The tiger is young. The tiger needs the bear. The tiger needs the squirrel. If someone is cold then they see the bear. Red people are cold. If someone needs the tiger then the tiger is red.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is cold then they see the bear.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bear" "+"))
Red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the tiger then the tiger is red.
((("someone" "needs" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The bear is red.
True
1
proof
[(triple4)]
("bear" "is" "red" "+")
triple4
The cow does not eat the squirrel.
False
1
inv-proof
[(triple5)]
("cow" "eats" "squirrel" "-")
triple5
The tiger is red.
True
2
proof
[(((triple11) -> rule3))]
("tiger" "is" "red" "+")
((triple11) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bear is not cold.
False
2
inv-proof
[(((triple4) -> rule2))]
("bear" "is" "cold" "-")
((triple4) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear sees the bear.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("bear" "sees" "bear" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The tiger is not cold.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule2))]
("tiger" "is" "cold" "-")
((((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The cow does not see the bear.
Unknown
inv-rconc
[@2: The cow sees the bear.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "sees" "bear" "-")
The squirrel sees the bear.
Unknown
rconc
[@2: The squirrel sees the bear.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("squirrel" "sees" "bear" "+")
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "cold" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The cow does not need the bear.
Unknown
inv-random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bear eats the squirrel.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is red.[(triple4)] The cow eats the squirrel.[(triple5)] The cow eats the tiger.[(triple6)] The cow sees the tiger.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel needs the cow.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger eats the cow.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is young.[(triple14)] The tiger needs the bear.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The bear is cold.[(((triple4) -> rule2))] The tiger is red.[(((triple11) -> rule3))] @2: The bear sees the bear.[(((((triple4) -> rule2)) -> rule1))] The tiger is cold.[(((((triple11) -> rule3)) -> rule2))] @3: The tiger sees the bear.[(((((((triple11) -> rule3)) -> rule2)) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple5
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple6
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple8
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple9
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple10
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple11
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple12
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple15
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple16
The bear is cold.
("bear" "is" "cold" "+")
((triple4) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((triple11) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The tiger is cold.
("tiger" "is" "cold" "+")
((((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
((((((triple11) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3