The bald eagle is kind. The bald eagle is round. The bald eagle needs the lion. The bald eagle does not visit the lion. The bald eagle visits the tiger. The lion is nice. The lion is rough. The lion is round. The lion visits the bald eagle. The tiger needs the bald eagle. The tiger needs the lion. The tiger does not visit the lion. If someone needs the lion then they do not visit the bald eagle. If someone visits the lion and they are not rough then they chase the bald eagle. If someone is round then they chase the lion.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
If someone needs the lion then they do not visit the bald eagle.
((("someone" "needs" "lion" "+")) -> ("someone" "visits" "bald eagle" "-"))
If someone visits the lion and they are not rough then they chase the bald eagle.
((("someone" "visits" "lion" "+") ("someone" "is" "rough" "~")) -> ("someone" "chases" "bald eagle" "+"))
If someone is round then they chase the lion.
((("someone" "is" "round" "+")) -> ("someone" "chases" "lion" "+"))
The tiger does not visit the lion.
True
1
proof
[(triple12)]
("tiger" "visits" "lion" "-")
triple12
The bald eagle is not kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "-")
triple1
The bald eagle chases the lion.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "chases" "lion" "+")
((triple2) -> (rule3 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
2
inv-proof
[(((triple8) -> rule3))]
("lion" "chases" "lion" "-")
((triple8) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The lion chases the bald eagle.
Unknown
rconc
[@1: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "bald eagle" "+")
The bald eagle does not need the tiger.
Unknown
inv-random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "-")
The lion needs the tiger.
Unknown
random
[@0: The lion needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "tiger" "+")
@0: The bald eagle does not visit the lion.[(triple4)] The bald eagle is kind.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle visits the tiger.[(triple5)] The lion is nice.[(triple6)] The lion is rough.[(triple7)] The lion is round.[(triple8)] The lion visits the bald eagle.[(triple9)] The tiger does not visit the lion.[(triple12)] The tiger needs the bald eagle.[(triple10)] The tiger needs the lion.[(triple11)] @1: The bald eagle chases the lion.[(((triple2) -> rule3))] The bald eagle does not visit the bald eagle.[(((triple3) -> rule1))] The lion chases the lion.[(((triple8) -> rule3))] The tiger does not visit the bald eagle.[(((triple11) -> rule1))]
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple9
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
triple12
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple11
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple2) -> (rule3 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple8) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
((triple11) -> (rule1 % int1))
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
int1