The bald eagle sees the lion. The cat sees the bald eagle. The lion is young. The lion likes the bald eagle. The lion needs the mouse. The mouse is green. The mouse is round. The mouse needs the lion. The mouse sees the bald eagle. The mouse sees the cat. If something sees the bald eagle and the bald eagle is kind then it likes the bald eagle. If something needs the cat then the cat sees the lion. If something is red then it sees the lion. If something likes the lion then it is red. If the mouse sees the bald eagle and the mouse needs the lion then the lion likes the bald eagle. If the lion needs the bald eagle then the lion sees the mouse. If the bald eagle needs the cat and the bald eagle likes the lion then the bald eagle needs the mouse. Round things are young.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If something sees the bald eagle and the bald eagle is kind then it likes the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("something" "likes" "bald eagle" "+"))
If something needs the cat then the cat sees the lion.
((("something" "needs" "cat" "+")) -> ("cat" "sees" "lion" "+"))
If something is red then it sees the lion.
((("something" "is" "red" "+")) -> ("something" "sees" "lion" "+"))
If something likes the lion then it is red.
((("something" "likes" "lion" "+")) -> ("something" "is" "red" "+"))
If the mouse sees the bald eagle and the mouse needs the lion then the lion likes the bald eagle.
((("mouse" "sees" "bald eagle" "+") ("mouse" "needs" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
If the lion needs the bald eagle then the lion sees the mouse.
((("lion" "needs" "bald eagle" "+")) -> ("lion" "sees" "mouse" "+"))
If the bald eagle needs the cat and the bald eagle likes the lion then the bald eagle needs the mouse.
((("bald eagle" "needs" "cat" "+") ("bald eagle" "likes" "lion" "+")) -> ("bald eagle" "needs" "mouse" "+"))
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
The mouse is green.
True
1
proof
[(triple6)]
("mouse" "is" "green" "+")
triple6
The mouse is not green.
False
1
inv-proof
[(triple6)]
("mouse" "is" "green" "-")
triple6
The mouse is young.
True
2
proof
[(((triple7) -> rule8))]
("mouse" "is" "young" "+")
((triple7) -> (rule8 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is not young.
False
2
inv-proof
[(((triple7) -> rule8))]
("mouse" "is" "young" "-")
((triple7) -> (rule8 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The bald eagle does not need the mouse.
Unknown
inv-rconc
[@1: The bald eagle needs the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "needs" "mouse" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle needs the cat.
Unknown
random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "+")
@0: The bald eagle sees the lion.[(triple1)] The cat sees the bald eagle.[(triple2)] The lion is young.[(triple3)] The lion likes the bald eagle.[(triple4 OR ((triple9 triple8) -> rule5))] The lion needs the mouse.[(triple5)] The mouse is green.[(triple6)] The mouse is round.[(triple7)] The mouse needs the lion.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse sees the cat.[(triple10)] @1: The mouse is young.[(((triple7) -> rule8))]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple4
((triple9 triple8) -> (rule5 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple8
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple9
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple10
The mouse is young.
("mouse" "is" "young" "+")
((triple7) -> (rule8 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1