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