The bald eagle is cold. The bald eagle is not round. The bald eagle is young. The bald eagle does not need the cow. The bald eagle sees the cow. The cow is not cold. The cow is young. If the bald eagle is kind then the bald eagle sees the cow. If the cow needs the bald eagle then the bald eagle needs the cow. If someone is cold and not young then they are kind.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow is not cold.
("cow" "is" "cold" "-")
The cow is young.
("cow" "is" "young" "+")
If the bald eagle is kind then the bald eagle sees the cow.
((("bald eagle" "is" "kind" "+")) -> ("bald eagle" "sees" "cow" "+"))
If the cow needs the bald eagle then the bald eagle needs the cow.
((("cow" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "+"))
If someone is cold and not young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
The bald eagle sees the cow.
True
1
proof
[(triple5)]
("bald eagle" "sees" "cow" "+")
triple5
The bald eagle is not cold.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "cold" "-")
triple1
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "kind" "-")
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 need the cow.[(triple4)] The bald eagle is cold.[(triple1)] The bald eagle is not round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the cow.[(triple5)] The cow is not cold.[(triple6)] The cow is young.[(triple7)]
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The cow is not cold.
("cow" "is" "cold" "-")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7