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