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