The bald eagle sees the lion. The dog is not kind. The dog is young. The dog sees the mouse. The lion eats the dog. The lion is nice. The lion is not round. The lion is not young. The lion sees the bald eagle. The lion sees the dog. The mouse eats the bald eagle. The mouse does not eat the dog. The mouse is round. The mouse is young. The mouse needs the lion. The mouse sees the dog. If someone is kind and they do not need the lion then the lion eats the mouse. If someone needs the mouse then they are nice. If someone eats the lion then they need the mouse.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is young.
("dog" "is" "young" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion is not young.
("lion" "is" "young" "-")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone is kind and they do not need the lion then the lion eats the mouse.
((("someone" "is" "kind" "+") ("someone" "needs" "lion" "~")) -> ("lion" "eats" "mouse" "+"))
If someone needs the mouse then they are nice.
((("someone" "needs" "mouse" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the lion then they need the mouse.
((("someone" "eats" "lion" "+")) -> ("someone" "needs" "mouse" "+"))
The dog is young.
True
1
proof
[(triple3)]
("dog" "is" "young" "+")
triple3
The lion is round.
False
1
inv-proof
[(triple7)]
("lion" "is" "round" "+")
triple7
The mouse is not nice.
Unknown
inv-rconc
[@2: The mouse is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("mouse" "is" "nice" "-")
The bald eagle eats the lion.
Unknown
random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "+")
@0: The bald eagle sees the lion.[(triple1)] The dog is not kind.[(triple2)] The dog is young.[(triple3)] The dog sees the mouse.[(triple4)] The lion eats the dog.[(triple5)] The lion is nice.[(triple6)] The lion is not round.[(triple7)] The lion is not young.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion sees the dog.[(triple10)] The mouse does not eat the dog.[(triple12)] The mouse eats the bald eagle.[(triple11)] The mouse is round.[(triple13)] The mouse is young.[(triple14)] The mouse needs the lion.[(triple15)] The mouse sees the dog.[(triple16)]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The dog is not kind.
("dog" "is" "kind" "-")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple4
The lion eats the dog.
("lion" "eats" "dog" "+")
triple5
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion is not round.
("lion" "is" "round" "-")
triple7
The lion is not young.
("lion" "is" "young" "-")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple9
The lion sees the dog.
("lion" "sees" "dog" "+")
triple10
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple12
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple11
The mouse is round.
("mouse" "is" "round" "+")
triple13
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple15
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple16