The bald eagle is kind. The bald eagle does not see the mouse. The bald eagle visits the lion. The bald eagle visits the mouse. The lion is kind. The lion is young. The lion does not like the bald eagle. The lion likes the mouse. The lion sees the bald eagle. The lion sees the mouse. The lion visits the bald eagle. The lion does not visit the mouse. The mouse likes the bald eagle. The mouse likes the lion. The mouse sees the lion. If something visits the lion and the lion does not like the bald eagle then the lion visits the bald eagle. If something is young then it is not red. If something sees the lion and the lion visits the mouse then the lion is red. If something is round then it sees the bald eagle. If the mouse sees the bald eagle and the bald eagle does not visit the mouse then the mouse sees the lion. If something visits the lion and it likes the bald eagle then the lion visits the mouse.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If something visits the lion and the lion does not like the bald eagle then the lion visits the bald eagle.
((("something" "visits" "lion" "+") ("lion" "likes" "bald eagle" "~")) -> ("lion" "visits" "bald eagle" "+"))
If something is young then it is not red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "-"))
If something sees the lion and the lion visits the mouse then the lion is red.
((("something" "sees" "lion" "+") ("lion" "visits" "mouse" "+")) -> ("lion" "is" "red" "+"))
If something is round then it sees the bald eagle.
((("something" "is" "round" "+")) -> ("something" "sees" "bald eagle" "+"))
If the mouse sees the bald eagle and the bald eagle does not visit the mouse then the mouse sees the lion.
((("mouse" "sees" "bald eagle" "+") ("bald eagle" "visits" "mouse" "~")) -> ("mouse" "sees" "lion" "+"))
If something visits the lion and it likes the bald eagle then the lion visits the mouse.
((("something" "visits" "lion" "+") ("something" "likes" "bald eagle" "+")) -> ("lion" "visits" "mouse" "+"))
The lion likes the mouse.
True
1
proof
[(triple8)]
("lion" "likes" "mouse" "+")
triple8
The lion does not see the mouse.
False
1
inv-proof
[(triple10)]
("lion" "sees" "mouse" "-")
triple10
The mouse does not see the bald eagle.
Unknown
inv-rconc
[@1: The mouse sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "sees" "bald eagle" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The bald eagle does not see the mouse.[(triple2)] The bald eagle is kind.[(triple1)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the mouse.[(triple4)] The lion does not like the bald eagle.[(triple7)] The lion does not visit the mouse.[(triple12)] The lion is kind.[(triple5)] The lion is young.[(triple6)] The lion likes the mouse.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion sees the mouse.[(triple10)] The lion visits the bald eagle.[(triple11 OR ((triple3 triple7) -> rule1))] The mouse likes the bald eagle.[(triple13)] The mouse likes the lion.[(triple14)] The mouse sees the lion.[(triple15)] @1: The lion is not red.[(((triple6) -> rule2))]
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
triple7
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
triple12
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple9
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple10
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple11
((triple3 triple7) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple13
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple14
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple15
The lion is not red.
("lion" "is" "red" "-")
((triple6) -> (rule2 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1