The bald eagle chases the squirrel. The bald eagle needs the squirrel. The bear chases the tiger. The bear needs the tiger. The squirrel needs the bald eagle. The squirrel needs the bear. The tiger chases the bald eagle. The tiger eats the squirrel. The tiger is cold. The tiger needs the bear. All rough things are cold. If the bear needs the bald eagle and the bald eagle chases the bear then the bear eats the tiger. If something chases the tiger and the tiger chases the bear then the tiger is nice.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
All rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If the bear needs the bald eagle and the bald eagle chases the bear then the bear eats the tiger.
((("bear" "needs" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
If something chases the tiger and the tiger chases the bear then the tiger is nice.
((("something" "chases" "tiger" "+") ("tiger" "chases" "bear" "+")) -> ("tiger" "is" "nice" "+"))
The bear chases the tiger.
True
1
proof
[(triple3)]
("bear" "chases" "tiger" "+")
triple3
The squirrel does not need the bear.
False
1
inv-proof
[(triple6)]
("squirrel" "needs" "bear" "-")
triple6
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bear chases the tiger.[(triple3)] The bear needs the tiger.[(triple4)] The squirrel needs the bald eagle.[(triple5)] The squirrel needs the bear.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is cold.[(triple9)] The tiger needs the bear.[(triple10)]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple5
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple7
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple10