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