The bald eagle eats the lion. The bald eagle does not need the lion. The lion eats the bald eagle. The lion is green. The lion is kind. The lion is rough. The lion is round. The lion is young. The lion needs the bald eagle. The lion visits the bald eagle. If someone eats the lion and the lion eats the bald eagle then the bald eagle visits the lion. All rough people are round.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone eats the lion and the lion eats the bald eagle then the bald eagle visits the lion.
((("someone" "eats" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
The lion is young.
True
1
proof
[(triple8)]
("lion" "is" "young" "+")
triple8
The lion does not visit the bald eagle.
False
1
inv-proof
[(triple10)]
("lion" "visits" "bald eagle" "-")
triple10
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "round" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bald eagle does not need the lion.[(triple2)] The bald eagle eats the lion.[(triple1)] The lion eats the bald eagle.[(triple3)] The lion is green.[(triple4)] The lion is kind.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7 OR ((triple6) -> rule2))] The lion is young.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion visits the bald eagle.[(triple10)] @1: The bald eagle visits the lion.[(((triple1 triple3) -> rule1))]
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
triple2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
((triple6) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is young.
("lion" "is" "young" "+")
triple8
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((triple1 triple3) -> (rule1 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1