The bald eagle sees the lion. The bald eagle visits the lion. The bear chases the lion. The bear is young. The bear sees the bald eagle. The bear visits the lion. The lion is big. The lion is nice. The lion is rough. The lion sees the bear. The lion visits the bald eagle. The lion visits the bear. If something sees the bald eagle and it is kind then the bald eagle is big. If something sees the bear and the bear visits the lion then the bear chases the bald eagle. If something chases the bear and it is kind then the bear visits the bald eagle.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something sees the bald eagle and it is kind then the bald eagle is big.
((("something" "sees" "bald eagle" "+") ("something" "is" "kind" "+")) -> ("bald eagle" "is" "big" "+"))
If something sees the bear and the bear visits the lion then the bear chases the bald eagle.
((("something" "sees" "bear" "+") ("bear" "visits" "lion" "+")) -> ("bear" "chases" "bald eagle" "+"))
If something chases the bear and it is kind then the bear visits the bald eagle.
((("something" "chases" "bear" "+") ("something" "is" "kind" "+")) -> ("bear" "visits" "bald eagle" "+"))
The bear sees the bald eagle.
True
1
proof
[(triple5)]
("bear" "sees" "bald eagle" "+")
triple5
The bear does not visit the lion.
False
1
inv-proof
[(triple6)]
("bear" "visits" "lion" "-")
triple6
The bear chases the bald eagle.
True
3
proof
[(((triple10 triple6) -> rule2))]
("bear" "chases" "bald eagle" "+")
((triple10 triple6) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not chase the bald eagle.
False
3
inv-proof
[(((triple10 triple6) -> rule2))]
("bear" "chases" "bald eagle" "-")
((triple10 triple6) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "+")
The lion does not see the bald eagle.
Unknown
inv-random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle sees the lion.[(triple1)] The bald eagle visits the lion.[(triple2)] The bear chases the lion.[(triple3)] The bear is young.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear visits the lion.[(triple6)] The lion is big.[(triple7)] The lion is nice.[(triple8)] The lion is rough.[(triple9)] The lion sees the bear.[(triple10)] The lion visits the bald eagle.[(triple11)] The lion visits the bear.[(triple12)] @1: The bear chases the bald eagle.[(((triple10 triple6) -> rule2))]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple2
The bear chases the lion.
("bear" "chases" "lion" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The bear visits the lion.
("bear" "visits" "lion" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion sees the bear.
("lion" "sees" "bear" "+")
triple10
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple11
The lion visits the bear.
("lion" "visits" "bear" "+")
triple12
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple10 triple6) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1