The bald eagle chases the bear. The bald eagle needs the bear. The bald eagle needs the tiger. The bear chases the tiger. The bear is big. The tiger does not chase the bear. The tiger is red. If something chases the bear then the bear needs the bald eagle. If something likes the bald eagle and it does not chase the bald eagle then it chases the bear. If something chases the bald eagle then it chases the bear. If something needs the bald eagle then the bald eagle is kind. If something chases the tiger and the tiger needs the bald eagle then the bald eagle does not like the bear. If something is kind and it chases the bald eagle then the bald eagle chases the bear. If the bear likes the bald eagle then the bear needs the tiger. If something needs the bear and it is not kind then it does not need the tiger.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
The tiger is red.
("tiger" "is" "red" "+")
If something chases the bear then the bear needs the bald eagle.
((("something" "chases" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
If something likes the bald eagle and it does not chase the bald eagle then it chases the bear.
((("something" "likes" "bald eagle" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "chases" "bear" "+"))
If something chases the bald eagle then it chases the bear.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "bear" "+"))
If something needs the bald eagle then the bald eagle is kind.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something chases the tiger and the tiger needs the bald eagle then the bald eagle does not like the bear.
((("something" "chases" "tiger" "+") ("tiger" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "-"))
If something is kind and it chases the bald eagle then the bald eagle chases the bear.
((("something" "is" "kind" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
If the bear likes the bald eagle then the bear needs the tiger.
((("bear" "likes" "bald eagle" "+")) -> ("bear" "needs" "tiger" "+"))
If something needs the bear and it is not kind then it does not need the tiger.
((("something" "needs" "bear" "+") ("something" "is" "kind" "~")) -> ("something" "needs" "tiger" "-"))
The bald eagle needs the tiger.
True
1
proof
[(triple3)]
("bald eagle" "needs" "tiger" "+")
triple3
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The bear needs the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bear" "needs" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear does not need the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "needs" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "bear" "-")
The bear needs the tiger.
Unknown
rconc
[@1: The bear needs the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "needs" "tiger" "+")
The bear does not like the tiger.
Unknown
inv-random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bear chases the tiger.[(triple4)] The bear is big.[(triple5)] The tiger does not chase the bear.[(triple6)] The tiger is red.[(triple7)] @1: The bear needs the bald eagle.[(((triple1) -> rule1))] @2: The bald eagle is kind.[(((((triple1) -> rule1)) -> rule4))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2