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