The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle needs the cow. The cow chases the lion. The cow is big. The cow is not cold. The lion chases the bald eagle. The lion is cold. The lion is kind. The lion needs the bald eagle. The lion needs the cow. If something is green and it sees the bald eagle then the bald eagle does not need the lion. If something is kind then it needs the lion. If the lion needs the cow then the lion is green. If something needs the lion and it chases the bald eagle then the bald eagle is big. If something needs the cow then the cow does not need the bald eagle. If something sees the lion and the lion is green then it needs the bald eagle. If the bald eagle chases the lion then the lion chases the cow. If something needs the lion and it is not green then it chases the cow.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not cold.
("cow" "is" "cold" "-")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If something is green and it sees the bald eagle then the bald eagle does not need the lion.
((("something" "is" "green" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "-"))
If something is kind then it needs the lion.
((("something" "is" "kind" "+")) -> ("something" "needs" "lion" "+"))
If the lion needs the cow then the lion is green.
((("lion" "needs" "cow" "+")) -> ("lion" "is" "green" "+"))
If something needs the lion and it chases the bald eagle then the bald eagle is big.
((("something" "needs" "lion" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If something needs the cow then the cow does not need the bald eagle.
((("something" "needs" "cow" "+")) -> ("cow" "needs" "bald eagle" "-"))
If something sees the lion and the lion is green then it needs the bald eagle.
((("something" "sees" "lion" "+") ("lion" "is" "green" "+")) -> ("something" "needs" "bald eagle" "+"))
If the bald eagle chases the lion then the lion chases the cow.
((("bald eagle" "chases" "lion" "+")) -> ("lion" "chases" "cow" "+"))
If something needs the lion and it is not green then it chases the cow.
((("something" "needs" "lion" "+") ("something" "is" "green" "~")) -> ("something" "chases" "cow" "+"))
The lion needs the cow.
True
1
proof
[(triple12)]
("lion" "needs" "cow" "+")
triple12
The bald eagle is not red.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "red" "-")
triple3
The lion needs the lion.
True
2
proof
[(((triple10) -> rule2))]
("lion" "needs" "lion" "+")
((triple10) -> (rule2 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is not green.
False
2
inv-proof
[(((triple12) -> rule3))]
("lion" "is" "green" "-")
((triple12) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The bald eagle is big.
True
4
proof
[(((((triple10) -> rule2) triple8) -> rule4))]
("bald eagle" "is" "big" "+")
((((triple10) -> (rule2 % int2)) triple8) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The bald eagle is not big.
False
4
inv-proof
[(((((triple10) -> rule2) triple8) -> rule4))]
("bald eagle" "is" "big" "-")
((((triple10) -> (rule2 % int2)) triple8) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The cow does not need the lion.
Unknown
inv-rconc
[@1: The cow needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "lion" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "chases" "cow" "+")
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
The lion sees the cow.
Unknown
random
[@0: The lion sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cow" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow chases the lion.[(triple5)] The cow is big.[(triple6)] The cow is not cold.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion is cold.[(triple9)] The lion is kind.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion needs the cow.[(triple12)] @1: The bald eagle needs the lion.[(((triple2) -> rule2))] The cow does not need the bald eagle.[(((triple12) -> rule5) OR ((triple4) -> rule5))] The lion is green.[(((triple12) -> rule3))] The lion needs the lion.[(((triple10) -> rule2))] @2: The bald eagle is big.[(((((triple10) -> rule2) triple8) -> rule4))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The cow chases the lion.
("cow" "chases" "lion" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is not cold.
("cow" "is" "cold" "-")
triple7
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The lion needs the cow.
("lion" "needs" "cow" "+")
triple12
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple2) -> (rule2 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
((triple12) -> (rule5 % int1))
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
int1
((triple4) -> (rule5 % int1))
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
int1
The lion is green.
("lion" "is" "green" "+")
((triple12) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple10) -> (rule2 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple10) -> (rule2 % int2)) triple8) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2