The bald eagle does not eat the rabbit. The bald eagle is not big. The bald eagle is not red. The bald eagle likes the rabbit. The bald eagle needs the rabbit. The rabbit eats the bald eagle. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit needs the bald eagle. If something needs the bald eagle then the bald eagle is not red. If something likes the rabbit then it needs the rabbit. If the bald eagle eats the rabbit and the bald eagle does not like the rabbit then the rabbit needs the bald eagle. If something likes the rabbit and the rabbit is rough then it is red. If something needs the bald eagle and it eats the rabbit then the rabbit is round. If something needs the bald eagle and the bald eagle is not red then it is kind. If something eats the rabbit and it is not red then it likes the bald eagle. If something needs the bald eagle and it is not red then it does not like the bald eagle.
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If something needs the bald eagle then the bald eagle is not red.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "red" "-"))
If something likes the rabbit then it needs the rabbit.
((("something" "likes" "rabbit" "+")) -> ("something" "needs" "rabbit" "+"))
If the bald eagle eats the rabbit and the bald eagle does not like the rabbit then the rabbit needs the bald eagle.
((("bald eagle" "eats" "rabbit" "+") ("bald eagle" "likes" "rabbit" "~")) -> ("rabbit" "needs" "bald eagle" "+"))
If something likes the rabbit and the rabbit is rough then it is red.
((("something" "likes" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something needs the bald eagle and it eats the rabbit then the rabbit is round.
((("something" "needs" "bald eagle" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If something needs the bald eagle and the bald eagle is not red then it is kind.
((("something" "needs" "bald eagle" "+") ("bald eagle" "is" "red" "~")) -> ("something" "is" "kind" "+"))
If something eats the rabbit and it is not red then it likes the bald eagle.
((("something" "eats" "rabbit" "+") ("something" "is" "red" "~")) -> ("something" "likes" "bald eagle" "+"))
If something needs the bald eagle and it is not red then it does not like the bald eagle.
((("something" "needs" "bald eagle" "+") ("something" "is" "red" "~")) -> ("something" "likes" "bald eagle" "-"))
The bald eagle likes the rabbit.
True
1
proof
[(triple4)]
("bald eagle" "likes" "rabbit" "+")
triple4
The rabbit does not eat the bald eagle.
False
1
inv-proof
[(triple6)]
("rabbit" "eats" "bald eagle" "-")
triple6
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle is not big.[(triple2)] The bald eagle is not red.[(triple3 OR ((triple10) -> rule1))] The bald eagle likes the rabbit.[(triple4)] The bald eagle needs the rabbit.[(triple5 OR ((triple4) -> rule2))] The rabbit eats the bald eagle.[(triple6)] The rabbit is kind.[(triple7 OR ((triple10 triple3) -> rule6) OR ((triple10 ((triple10) -> rule1)) -> rule6))] The rabbit is red.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the bald eagle.[(triple10)]
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
triple1
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple3
((triple10) -> (rule1 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple5
((triple4) -> (rule2 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
((triple10 triple3) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple10 ((triple10) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple10