The bald eagle eats the squirrel. The bald eagle eats the tiger. The bald eagle is young. The bear eats the bald eagle. The bear is kind. The bear is not red. The bear needs the squirrel. The bear does not need the tiger. The bear visits the tiger. The squirrel is kind. The squirrel is red. The squirrel needs the bald eagle. The squirrel needs the tiger. The squirrel visits the bald eagle. The tiger needs the bear. The tiger does not need the squirrel. If the tiger is big and the tiger needs the bald eagle then the tiger does not visit the bear. If something needs the tiger and it does not need the bear then the tiger is kind. If something visits the bald eagle and it is not nice then the bald eagle eats the bear. If something eats the tiger and it needs the bear then it visits the bear. If something needs the bear and it is not kind then it eats the tiger. If something needs the bear and it visits the bear then the bear is not young. If something eats the tiger then it is red. If something visits the bear then it is red.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
If the tiger is big and the tiger needs the bald eagle then the tiger does not visit the bear.
((("tiger" "is" "big" "+") ("tiger" "needs" "bald eagle" "+")) -> ("tiger" "visits" "bear" "-"))
If something needs the tiger and it does not need the bear then the tiger is kind.
((("something" "needs" "tiger" "+") ("something" "needs" "bear" "~")) -> ("tiger" "is" "kind" "+"))
If something visits the bald eagle and it is not nice then the bald eagle eats the bear.
((("something" "visits" "bald eagle" "+") ("something" "is" "nice" "~")) -> ("bald eagle" "eats" "bear" "+"))
If something eats the tiger and it needs the bear then it visits the bear.
((("something" "eats" "tiger" "+") ("something" "needs" "bear" "+")) -> ("something" "visits" "bear" "+"))
If something needs the bear and it is not kind then it eats the tiger.
((("something" "needs" "bear" "+") ("something" "is" "kind" "~")) -> ("something" "eats" "tiger" "+"))
If something needs the bear and it visits the bear then the bear is not young.
((("something" "needs" "bear" "+") ("something" "visits" "bear" "+")) -> ("bear" "is" "young" "-"))
If something eats the tiger then it is red.
((("something" "eats" "tiger" "+")) -> ("something" "is" "red" "+"))
If something visits the bear then it is red.
((("something" "visits" "bear" "+")) -> ("something" "is" "red" "+"))
The tiger needs the bear.
True
1
proof
[(triple15)]
("tiger" "needs" "bear" "+")
triple15
The bald eagle does not eat the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "tiger" "-")
triple2
The bald eagle is red.
True
2
proof
[(((triple2) -> rule7))]
("bald eagle" "is" "red" "+")
((triple2) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple2) -> rule7))]
("bald eagle" "is" "red" "-")
((triple2) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The squirrel does not visit the bear.
Unknown
inv-rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "visits" "bear" "-")
The tiger is red.
Unknown
rconc
[@3: The tiger is red.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule5 <- FAIL)]]
("tiger" "is" "red" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is young.[(triple3)] The bear does not need the tiger.[(triple8)] The bear eats the bald eagle.[(triple4)] The bear is kind.[(triple5)] The bear is not red.[(triple6)] The bear needs the squirrel.[(triple7)] The bear visits the tiger.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel needs the bald eagle.[(triple12)] The squirrel needs the tiger.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The tiger does not need the squirrel.[(triple16)] The tiger needs the bear.[(triple15)] @1: The bald eagle is red.[(((triple2) -> rule7))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
triple8
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear is not red.
("bear" "is" "red" "-")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple12
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple13
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple14
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
triple16
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple15
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple2) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1