The bald eagle is cold. The bald eagle likes the rabbit. The cow likes the bald eagle. The lion is cold. The lion likes the bald eagle. The lion likes the cow. The lion needs the bald eagle. The rabbit is red. The rabbit sees the bald eagle. The rabbit sees the cow. All red people are cold. If the lion needs the bald eagle then the bald eagle is young. If someone is young then they need the lion.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If the lion needs the bald eagle then the bald eagle is young.
((("lion" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone is young then they need the lion.
((("someone" "is" "young" "+")) -> ("someone" "needs" "lion" "+"))
The rabbit is red.
True
1
proof
[(triple8)]
("rabbit" "is" "red" "+")
triple8
The cow does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("cow" "likes" "bald eagle" "-")
triple3
The rabbit is cold.
True
2
proof
[(((triple8) -> rule1))]
("rabbit" "is" "cold" "+")
((triple8) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The bald eagle is not young.
False
2
inv-proof
[(((triple7) -> rule2))]
("bald eagle" "is" "young" "-")
((triple7) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle needs the lion.
True
3
proof
[(((((triple7) -> rule2)) -> rule3))]
("bald eagle" "needs" "lion" "+")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle does not need the lion.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule3))]
("bald eagle" "needs" "lion" "-")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The cow does not need the lion.
Unknown
inv-rconc
[@1: The cow needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "lion" "-")
The lion needs the lion.
Unknown
rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "lion" "+")
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "cold" "-")
The rabbit likes the cow.
Unknown
random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The cow needs the rabbit.
Unknown
random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The cow likes the bald eagle.[(triple3)] The lion is cold.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion likes the cow.[(triple6)] The lion needs the bald eagle.[(triple7)] The rabbit is red.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The bald eagle is young.[(((triple7) -> rule2))] The rabbit is cold.[(((triple8) -> rule1))] @2: The bald eagle needs the lion.[(((((triple7) -> rule2)) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple5
The lion likes the cow.
("lion" "likes" "cow" "+")
triple6
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple9
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple10
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple7) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple8) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2