The bald eagle chases the lion. The bald eagle is rough. The bald eagle likes the tiger. The bald eagle sees the lion. The bald eagle sees the tiger. The lion is big. The lion is rough. The lion likes the bald eagle. The lion likes the tiger. The lion sees the bald eagle. The lion sees the tiger. The tiger chases the lion. The tiger is big. The tiger likes the bald eagle. The tiger sees the lion. If something is big then it sees the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If something is big then it sees the bald eagle.
((("something" "is" "big" "+")) -> ("something" "sees" "bald eagle" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple10 OR ((triple6) -> rule1))]
("lion" "sees" "bald eagle" "+")
triple10
((triple6) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion does not see the tiger.
False
1
inv-proof
[(triple11)]
("lion" "sees" "tiger" "-")
triple11
The tiger sees the bald eagle.
True
2
proof
[(((triple13) -> rule1))]
("tiger" "sees" "bald eagle" "+")
((triple13) -> (rule1 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger does not see the bald eagle.
False
2
inv-proof
[(((triple13) -> rule1))]
("tiger" "sees" "bald eagle" "-")
((triple13) -> (rule1 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle sees the tiger.[(triple5)] The lion is big.[(triple6)] The lion is rough.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion likes the tiger.[(triple9)] The lion sees the bald eagle.[(triple10 OR ((triple6) -> rule1))] The lion sees the tiger.[(triple11)] The tiger chases the lion.[(triple12)] The tiger is big.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger sees the lion.[(triple15)] @1: The tiger sees the bald eagle.[(((triple13) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple9
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple10
((triple6) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple11
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple15
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((triple13) -> (rule1 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1