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