The bald eagle sees the tiger. The bald eagle visits the rabbit. The lion eats the bald eagle. The lion eats the tiger. The lion is green. The lion sees the bald eagle. The lion sees the rabbit. The rabbit eats the tiger. The rabbit is kind. The tiger eats the bald eagle. The tiger eats the lion. The tiger is big. The tiger is kind. The tiger is red. The tiger sees the bald eagle. The tiger visits the lion. If someone is red and they see the tiger then they eat the tiger. If someone is green and they eat the bald eagle then they eat the tiger.
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is green.
("lion" "is" "green" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone is red and they see the tiger then they eat the tiger.
((("someone" "is" "red" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "eats" "tiger" "+"))
If someone is green and they eat the bald eagle then they eat the tiger.
((("someone" "is" "green" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "tiger" "+"))
The lion eats the tiger.
True
1
proof
[(triple4 OR ((triple5 triple3) -> rule2))]
("lion" "eats" "tiger" "+")
triple4
((triple5 triple3) -> (rule2 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion does not eat the tiger.
False
1
inv-proof
[(triple4 OR ((triple5 triple3) -> rule2))]
("lion" "eats" "tiger" "-")
triple4
((triple5 triple3) -> (rule2 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The bald eagle sees the tiger.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The lion eats the bald eagle.[(triple3)] The lion eats the tiger.[(triple4 OR ((triple5 triple3) -> rule2))] The lion is green.[(triple5)] The lion sees the bald eagle.[(triple6)] The lion sees the rabbit.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is kind.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is big.[(triple12)] The tiger is kind.[(triple13)] The tiger is red.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger visits the lion.[(triple16)]
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple4
((triple5 triple3) -> (rule2 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple5
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple6
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple7
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple10
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple11
The tiger is big.
("tiger" "is" "big" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple16