The bald eagle likes the tiger. The bald eagle needs the rabbit. The bald eagle needs the tiger. The lion is not red. The lion likes the bald eagle. The lion does not like the rabbit. The lion needs the bald eagle. The lion needs the rabbit. The rabbit is big. The rabbit is red. The rabbit likes the bald eagle. The rabbit does not like the lion. The tiger does not like the bald eagle. The tiger sees the bald eagle. The tiger does not see the lion. The tiger does not see the rabbit. If something is green then it likes the tiger. If something needs the tiger and the tiger is not blue then it needs the bald eagle. If something needs the tiger then the tiger is big. If something sees the tiger and the tiger sees the bald eagle then it is red. If something sees the bald eagle then the bald eagle likes the rabbit. If something is young and it likes the rabbit then the rabbit likes the bald eagle.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit does not like the lion.
("rabbit" "likes" "lion" "-")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
If something is green then it likes the tiger.
((("something" "is" "green" "+")) -> ("something" "likes" "tiger" "+"))
If something needs the tiger and the tiger is not blue then it needs the bald eagle.
((("something" "needs" "tiger" "+") ("tiger" "is" "blue" "~")) -> ("something" "needs" "bald eagle" "+"))
If something needs the tiger then the tiger is big.
((("something" "needs" "tiger" "+")) -> ("tiger" "is" "big" "+"))
If something sees the tiger and the tiger sees the bald eagle then it is red.
((("something" "sees" "tiger" "+") ("tiger" "sees" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If something sees the bald eagle then the bald eagle likes the rabbit.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If something is young and it likes the rabbit then the rabbit likes the bald eagle.
((("something" "is" "young" "+") ("something" "likes" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple7)]
("lion" "needs" "bald eagle" "+")
triple7
The rabbit likes the lion.
False
1
inv-proof
[(triple12)]
("rabbit" "likes" "lion" "+")
triple12
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "red" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle needs the tiger.[(triple3)] The lion does not like the rabbit.[(triple6)] The lion is not red.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion needs the bald eagle.[(triple7)] The lion needs the rabbit.[(triple8)] The rabbit does not like the lion.[(triple12)] The rabbit is big.[(triple9)] The rabbit is red.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The tiger does not like the bald eagle.[(triple13)] The tiger does not see the lion.[(triple15)] The tiger does not see the rabbit.[(triple16)] The tiger sees the bald eagle.[(triple14)] @1: The bald eagle likes the rabbit.[(((triple14) -> rule5))] The tiger is big.[(((triple3) -> rule3))]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
triple6
The lion is not red.
("lion" "is" "red" "-")
triple4
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple5
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple7
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple8
The rabbit does not like the lion.
("rabbit" "likes" "lion" "-")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple10
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple11
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple13
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
triple15
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
triple16
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple14) -> (rule5 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple3) -> (rule3 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1