The bald eagle is big. The cat needs the bald eagle. The lion does not need the bald eagle. If someone is big then they are rough. If someone likes the cat and they are big then the cat does not like the bald eagle. If someone likes the bald eagle then they need the lion.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the cat and they are big then the cat does not like the bald eagle.
((("someone" "likes" "cat" "+") ("someone" "is" "big" "+")) -> ("cat" "likes" "bald eagle" "-"))
If someone likes the bald eagle then they need the lion.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "needs" "lion" "+"))
The lion does not need the bald eagle.
True
1
proof
[(triple3)]
("lion" "needs" "bald eagle" "-")
triple3
The lion needs the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "needs" "bald eagle" "+")
triple3
The cat does not need the lion.
Unknown
inv-rconc
[@1: The cat needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "lion" "-")
The lion sees the cat.
Unknown
random
[@0: The lion sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cat" "+")
@0: The bald eagle is big.[(triple1)] The cat needs the bald eagle.[(triple2)] The lion does not need the bald eagle.[(triple3)] @1: The bald eagle is rough.[(((triple1) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple2
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1