The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bald eagle is young. The bald eagle needs the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is young. If something chases the bald eagle and the bald eagle needs the bear then the bald eagle chases the bear. If something chases the bear then it is cold.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is young.
("bear" "is" "young" "+")
If something chases the bald eagle and the bald eagle needs the bear then the bald eagle chases the bear.
((("something" "chases" "bald eagle" "+") ("bald eagle" "needs" "bear" "+")) -> ("bald eagle" "chases" "bear" "+"))
If something chases the bear then it is cold.
((("something" "chases" "bear" "+")) -> ("something" "is" "cold" "+"))
The bald eagle is cold.
True
1
proof
[(triple4 OR ((triple1) -> rule2) OR ((((triple8 triple7) -> rule1)) -> rule2))]
("bald eagle" "is" "cold" "+")
triple4
((triple1) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
((((triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bear is not young.
False
1
inv-proof
[(triple10)]
("bear" "is" "young" "-")
triple10
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "cold" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bald eagle chases the bear.[(triple1 OR ((triple8 triple7) -> rule1))] The bald eagle eats the bear.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4 OR ((triple1) -> rule2) OR ((((triple8 triple7) -> rule1)) -> rule2))] The bald eagle is nice.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the bear.[(triple7)] The bear chases the bald eagle.[(triple8)] The bear eats the bald eagle.[(triple9)] The bear is young.[(triple10)]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
((triple8 triple7) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
((triple1) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
((((triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple7
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple8
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple9
The bear is young.
("bear" "is" "young" "+")
triple10