The bald eagle is blue. The bald eagle sees the cow. The bald eagle does not visit the lion. The cow is cold. The cow is green. The cow is young. The cow needs the lion. The cow needs the squirrel. The cow does not visit the bald eagle. The lion is green. The lion does not need the bald eagle. The lion visits the cow. The squirrel is cold. The squirrel does not need the bald eagle. The squirrel does not need the lion. The squirrel does not visit the bald eagle. If something needs the bald eagle and it does not visit the bald eagle then it visits the lion. Young things are cold. If the cow is cold then the cow needs the lion. If something visits the bald eagle and it is not blue then the bald eagle sees the lion. If something sees the cow then it needs the cow. If something needs the lion and the lion is cold then it is young. If something is young and it does not see the squirrel then it is green. If something is green and it does not see the bald eagle then it does not need the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
The lion is green.
("lion" "is" "green" "+")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
The lion visits the cow.
("lion" "visits" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel does not need the lion.
("squirrel" "needs" "lion" "-")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
If something needs the bald eagle and it does not visit the bald eagle then it visits the lion.
((("something" "needs" "bald eagle" "+") ("something" "visits" "bald eagle" "~")) -> ("something" "visits" "lion" "+"))
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If the cow is cold then the cow needs the lion.
((("cow" "is" "cold" "+")) -> ("cow" "needs" "lion" "+"))
If something visits the bald eagle and it is not blue then the bald eagle sees the lion.
((("something" "visits" "bald eagle" "+") ("something" "is" "blue" "~")) -> ("bald eagle" "sees" "lion" "+"))
If something sees the cow then it needs the cow.
((("something" "sees" "cow" "+")) -> ("something" "needs" "cow" "+"))
If something needs the lion and the lion is cold then it is young.
((("something" "needs" "lion" "+") ("lion" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is young and it does not see the squirrel then it is green.
((("something" "is" "young" "+") ("something" "sees" "squirrel" "~")) -> ("something" "is" "green" "+"))
If something is green and it does not see the bald eagle then it does not need the bald eagle.
((("something" "is" "green" "+") ("something" "sees" "bald eagle" "~")) -> ("something" "needs" "bald eagle" "-"))
The cow is young.
True
1
proof
[(triple6)]
("cow" "is" "young" "+")
triple6
The cow is not cold.
False
1
inv-proof
[(triple4 OR ((triple6) -> rule2))]
("cow" "is" "cold" "-")
triple4
((triple6) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bald eagle needs the cow.
True
2
proof
[(((triple2) -> rule5))]
("bald eagle" "needs" "cow" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle does not need the cow.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "needs" "cow" "-")
((triple2) -> (rule5 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle sees the lion.
Unknown
rconc
[@1: The bald eagle sees the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "lion" "+")
The squirrel does not see the lion.
Unknown
inv-random
[@0: The squirrel sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "lion" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
@0: The bald eagle does not visit the lion.[(triple3)] The bald eagle is blue.[(triple1)] The bald eagle sees the cow.[(triple2)] The cow does not visit the bald eagle.[(triple9)] The cow is cold.[(triple4 OR ((triple6) -> rule2))] The cow is green.[(triple5)] The cow is young.[(triple6)] The cow needs the lion.[(triple7 OR ((triple4) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] The cow needs the squirrel.[(triple8)] The lion does not need the bald eagle.[(triple11)] The lion is green.[(triple10)] The lion visits the cow.[(triple12)] The squirrel does not need the bald eagle.[(triple14)] The squirrel does not need the lion.[(triple15)] The squirrel does not visit the bald eagle.[(triple16)] The squirrel is cold.[(triple13)] @1: The bald eagle needs the cow.[(((triple2) -> rule5))]
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
triple9
The cow is cold.
("cow" "is" "cold" "+")
triple4
((triple6) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow needs the lion.
("cow" "needs" "lion" "+")
triple7
((triple4) -> (rule3 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple8
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple11
The lion is green.
("lion" "is" "green" "+")
triple10
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple14
The squirrel does not need the lion.
("squirrel" "needs" "lion" "-")
triple15
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple16
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1