The bald eagle eats the bear. The bald eagle likes the tiger. The bald eagle visits the bear. The bald eagle visits the tiger. The bear eats the bald eagle. The bear is red. The bear likes the tiger. The rabbit eats the bald eagle. The rabbit visits the bald eagle. The rabbit visits the tiger. The tiger eats the bald eagle. The tiger is round. If someone likes the rabbit and they are nice then the rabbit is red.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone likes the rabbit and they are nice then the rabbit is red.
((("someone" "likes" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("rabbit" "is" "red" "+"))
The bear eats the bald eagle.
True
1
proof
[(triple5)]
("bear" "eats" "bald eagle" "+")
triple5
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "bear" "-")
triple3
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "red" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the tiger.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is red.[(triple6)] The bear likes the tiger.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit visits the bald eagle.[(triple9)] The rabbit visits the tiger.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger is round.[(triple12)]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple8
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple9
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple12