The bald eagle is kind. The bald eagle is not young. The bald eagle does not visit the rabbit. The cow eats the rabbit. The cow is red. The cow does not need the bald eagle. The cow does not visit the bald eagle. The cow visits the rabbit. The rabbit eats the bald eagle. The rabbit does not need the bald eagle. The rabbit needs the cow. The rabbit does not visit the bald eagle. If someone eats the bald eagle then the bald eagle does not eat the rabbit. If someone eats the bald eagle then they are young. All red people are not kind. If someone is round and they do not need the rabbit then the rabbit is kind. If someone needs the rabbit then the rabbit visits the cow. If someone needs the bald eagle and the bald eagle eats the rabbit then the bald eagle eats the cow. If someone is red and they eat the bald eagle then they visit the cow. If someone is red and they visit the rabbit then the rabbit is red.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is red.
("cow" "is" "red" "+")
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
If someone eats the bald eagle then the bald eagle does not eat the rabbit.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "-"))
If someone eats the bald eagle then they are young.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
All red people are not kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "-"))
If someone is round and they do not need the rabbit then the rabbit is kind.
((("someone" "is" "round" "+") ("someone" "needs" "rabbit" "~")) -> ("rabbit" "is" "kind" "+"))
If someone needs the rabbit then the rabbit visits the cow.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "visits" "cow" "+"))
If someone needs the bald eagle and the bald eagle eats the rabbit then the bald eagle eats the cow.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "eats" "rabbit" "+")) -> ("bald eagle" "eats" "cow" "+"))
If someone is red and they eat the bald eagle then they visit the cow.
((("someone" "is" "red" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "visits" "cow" "+"))
If someone is red and they visit the rabbit then the rabbit is red.
((("someone" "is" "red" "+") ("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
The rabbit does not visit the bald eagle.
True
1
proof
[(triple12)]
("rabbit" "visits" "bald eagle" "-")
triple12
The cow is not red.
False
1
inv-proof
[(triple5)]
("cow" "is" "red" "-")
triple5
The rabbit is red.
True
3
proof
[(((triple5 triple8) -> rule8))]
("rabbit" "is" "red" "+")
((triple5 triple8) -> (rule8 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
3
inv-proof
[(((triple5 triple8) -> rule8))]
("rabbit" "is" "red" "-")
((triple5 triple8) -> (rule8 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle does not visit the cow.
Unknown
inv-rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "cow" "-")
The cow visits the cow.
Unknown
rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "visits" "cow" "+")
The bald eagle does not need the rabbit.
Unknown
inv-random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle does not visit the rabbit.[(triple3)] The bald eagle is kind.[(triple1)] The bald eagle is not young.[(triple2)] The cow does not need the bald eagle.[(triple6)] The cow does not visit the bald eagle.[(triple7)] The cow eats the rabbit.[(triple4)] The cow is red.[(triple5)] The cow visits the rabbit.[(triple8)] The rabbit does not need the bald eagle.[(triple10)] The rabbit does not visit the bald eagle.[(triple12)] The rabbit eats the bald eagle.[(triple9)] The rabbit needs the cow.[(triple11)] @1: The bald eagle does not eat the rabbit.[(((triple9) -> rule1))] The cow is not kind.[(((triple5) -> rule3))] The rabbit is red.[(((triple5 triple8) -> rule8))] The rabbit is young.[(((triple9) -> rule2))] @2: The rabbit is not kind.[(((((triple5 triple8) -> rule8)) -> rule3))] The rabbit visits the cow.[(((((triple5 triple8) -> rule8) triple9) -> rule7))]
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple2
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
triple6
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
triple7
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
triple10
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
triple12
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple9
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple11
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
((triple9) -> (rule1 % int1))
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
int1
The cow is not kind.
("cow" "is" "kind" "-")
((triple5) -> (rule3 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple5 triple8) -> (rule8 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple9) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is not kind.
("rabbit" "is" "kind" "-")
((((triple5 triple8) -> (rule8 % int2))) -> (rule3 % int1))
The rabbit is not kind.
("rabbit" "is" "kind" "-")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
((((triple5 triple8) -> (rule8 % int2)) triple9) -> (rule7 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2