The bald eagle is cold. The bald eagle needs the cat. The cat eats the bald eagle. The cat is cold. The cat is rough. The cat is not young. The cat needs the bald eagle. If the cat needs the bald eagle and the bald eagle is not big then the cat eats the bald eagle. If something is young and kind then it eats the cat. If something eats the bald eagle and it does not eat the cat then it sees the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If the cat needs the bald eagle and the bald eagle is not big then the cat eats the bald eagle.
((("cat" "needs" "bald eagle" "+") ("bald eagle" "is" "big" "~")) -> ("cat" "eats" "bald eagle" "+"))
If something is young and kind then it eats the cat.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "eats" "cat" "+"))
If something eats the bald eagle and it does not eat the cat then it sees the bald eagle.
((("something" "eats" "bald eagle" "+") ("something" "eats" "cat" "~")) -> ("something" "sees" "bald eagle" "+"))
The cat needs the bald eagle.
True
1
proof
[(triple7)]
("cat" "needs" "bald eagle" "+")
triple7
The cat is not cold.
False
1
inv-proof
[(triple4)]
("cat" "is" "cold" "-")
triple4
The cat does not see the bald eagle.
Unknown
inv-rconc
[@1: The cat sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "sees" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is cold.[(triple4)] The cat is not young.[(triple6)] The cat is rough.[(triple5)] The cat needs the bald eagle.[(triple7)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is not young.
("cat" "is" "young" "-")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple7