The bald eagle does not visit the rabbit. The bear is not kind. The bear is not red. The rabbit is big. The rabbit is kind. The rabbit does not need the bear. The rabbit does not need the tiger. The rabbit sees the bear. The rabbit sees the tiger. The rabbit visits the bald eagle. The rabbit does not visit the bear. The tiger is not red. The tiger does not see the bald eagle. The tiger visits the bald eagle. The tiger visits the bear. If the tiger needs the bear then the tiger needs the bald eagle. If someone needs the rabbit then they are not red. If the bear visits the rabbit then the rabbit does not see the bear.
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is not red.
("bear" "is" "red" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit does not visit the bear.
("rabbit" "visits" "bear" "-")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the tiger needs the bear then the tiger needs the bald eagle.
((("tiger" "needs" "bear" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If someone needs the rabbit then they are not red.
((("someone" "needs" "rabbit" "+")) -> ("someone" "is" "red" "-"))
If the bear visits the rabbit then the rabbit does not see the bear.
((("bear" "visits" "rabbit" "+")) -> ("rabbit" "sees" "bear" "-"))
The bald eagle does not visit the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "visits" "rabbit" "-")
triple1
The bear is kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "+")
triple2
The tiger does not need the bald eagle.
Unknown
inv-rconc
[@1: The tiger needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "bald eagle" "-")
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 visit the rabbit.[(triple1)] The bear is not kind.[(triple2)] The bear is not red.[(triple3)] The rabbit does not need the bear.[(triple6)] The rabbit does not need the tiger.[(triple7)] The rabbit does not visit the bear.[(triple11)] The rabbit is big.[(triple4)] The rabbit is kind.[(triple5)] The rabbit sees the bear.[(triple8)] The rabbit sees the tiger.[(triple9)] The rabbit visits the bald eagle.[(triple10)] The tiger does not see the bald eagle.[(triple13)] The tiger is not red.[(triple12)] The tiger visits the bald eagle.[(triple14)] The tiger visits the bear.[(triple15)]
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
triple1
The bear is not kind.
("bear" "is" "kind" "-")
triple2
The bear is not red.
("bear" "is" "red" "-")
triple3
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
triple6
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
triple7
The rabbit does not visit the bear.
("rabbit" "visits" "bear" "-")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple8
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple9
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple10
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
triple13
The tiger is not red.
("tiger" "is" "red" "-")
triple12
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15