The bald eagle chases the squirrel. The bear chases the squirrel. The bear chases the tiger. The bear is green. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel is blue. The squirrel sees the tiger. The tiger chases the bear. The tiger needs the squirrel. If the squirrel chases the tiger then the tiger chases the bear. If someone is cold and they see the tiger then the tiger is red. If someone needs the squirrel and they see the bald eagle then the bald eagle is cold. If someone is cold then they chase the bald eagle. If someone sees the squirrel and they need the tiger then the tiger sees the bear. If the bear needs the squirrel and the bear is green then the squirrel sees the tiger. If someone is cold then they chase the bald eagle. Blue people are cold.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is green.
("bear" "is" "green" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If the squirrel chases the tiger then the tiger chases the bear.
((("squirrel" "chases" "tiger" "+")) -> ("tiger" "chases" "bear" "+"))
If someone is cold and they see the tiger then the tiger is red.
((("someone" "is" "cold" "+") ("someone" "sees" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If someone needs the squirrel and they see the bald eagle then the bald eagle is cold.
((("someone" "needs" "squirrel" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone is cold then they chase the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone sees the squirrel and they need the tiger then the tiger sees the bear.
((("someone" "sees" "squirrel" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "sees" "bear" "+"))
If the bear needs the squirrel and the bear is green then the squirrel sees the tiger.
((("bear" "needs" "squirrel" "+") ("bear" "is" "green" "+")) -> ("squirrel" "sees" "tiger" "+"))
If someone is cold then they chase the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bald eagle" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The squirrel is not blue.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "blue" "-")
triple7
The bear does not chase the bald eagle.
Unknown
inv-rconc
[@2: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("bear" "chases" "bald eagle" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bear chases the squirrel.[(triple2)] The bear chases the tiger.[(triple3)] The bear is green.[(triple4)] The squirrel chases the bald eagle.[(triple5 OR ((((triple7) -> rule8)) -> rule4) OR ((((triple7) -> rule8)) -> rule7))] The squirrel chases the tiger.[(triple6)] The squirrel is blue.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the bear.[(triple9 OR ((triple6) -> rule1))] The tiger needs the squirrel.[(triple10)] @1: The squirrel is cold.[(((triple7) -> rule8))] @2: The tiger is red.[(((((triple7) -> rule8) triple8) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple5
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
((((triple7) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
((triple6) -> (rule1 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple7) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((((triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2