The bald eagle is kind. The cat is cold. The cow eats the cat. The rabbit eats the cat. All cold people are not young. If someone visits the rabbit then they are cold. If the cow visits the rabbit then the rabbit needs the bald eagle. If someone visits the rabbit and the rabbit needs the bald eagle then the rabbit does not eat the cat. If someone needs the rabbit and the rabbit is green then they visit the cow. If someone eats the bald eagle and the bald eagle is cold then the bald eagle does not visit the cow. If someone eats the cow and they do not eat the cat then they eat the bald eagle. If someone needs the rabbit then they do not eat the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
All cold people are not young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "-"))
If someone visits the rabbit then they are cold.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "cold" "+"))
If the cow visits the rabbit then the rabbit needs the bald eagle.
((("cow" "visits" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If someone visits the rabbit and the rabbit needs the bald eagle then the rabbit does not eat the cat.
((("someone" "visits" "rabbit" "+") ("rabbit" "needs" "bald eagle" "+")) -> ("rabbit" "eats" "cat" "-"))
If someone needs the rabbit and the rabbit is green then they visit the cow.
((("someone" "needs" "rabbit" "+") ("rabbit" "is" "green" "+")) -> ("someone" "visits" "cow" "+"))
If someone eats the bald eagle and the bald eagle is cold then the bald eagle does not visit the cow.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "visits" "cow" "-"))
If someone eats the cow and they do not eat the cat then they eat the bald eagle.
((("someone" "eats" "cow" "+") ("someone" "eats" "cat" "~")) -> ("someone" "eats" "bald eagle" "+"))
If someone needs the rabbit then they do not eat the bald eagle.
((("someone" "needs" "rabbit" "+")) -> ("someone" "eats" "bald eagle" "-"))
The cow eats the cat.
True
1
proof
[(triple3)]
("cow" "eats" "cat" "+")
triple3
The cat is not cold.
False
1
inv-proof
[(triple2)]
("cat" "is" "cold" "-")
triple2
The cat is not young.
True
2
proof
[(((triple2) -> rule1))]
("cat" "is" "young" "-")
((triple2) -> (rule1 % int1))
The cat is not young.
("cat" "is" "young" "-")
int1
The cat is young.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cat is not young.
("cat" "is" "young" "-")
int1
The rabbit does not eat the bald eagle.
Unknown
inv-rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The cat eats the bald eagle.
Unknown
rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "eats" "bald eagle" "+")
The cat does not visit the bald eagle.
Unknown
inv-random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The bald eagle is kind.[(triple1)] The cat is cold.[(triple2)] The cow eats the cat.[(triple3)] The rabbit eats the cat.[(triple4)] @1: The cat is not young.[(((triple2) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cow eats the cat.
("cow" "eats" "cat" "+")
triple3
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple4
The cat is not young.
("cat" "is" "young" "-")
((triple2) -> (rule1 % int1))
The cat is not young.
("cat" "is" "young" "-")
int1