The bald eagle sees the dog. The dog is nice. The dog likes the mouse. The mouse is blue. The mouse likes the bald eagle. The mouse sees the bald eagle. The mouse sees the dog. If something sees the dog and the dog sees the bald eagle then it needs the bald eagle. If the bald eagle is green then the bald eagle is nice. If the bald eagle sees the mouse then the bald eagle is green. If something is young then it needs the dog. If the bald eagle is big and the bald eagle needs the dog then the bald eagle likes the mouse. If something needs the dog then it is nice. If something sees the mouse then it is big. If something sees the dog and the dog likes the mouse then the dog needs the mouse.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If something sees the dog and the dog sees the bald eagle then it needs the bald eagle.
((("something" "sees" "dog" "+") ("dog" "sees" "bald eagle" "+")) -> ("something" "needs" "bald eagle" "+"))
If the bald eagle is green then the bald eagle is nice.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "nice" "+"))
If the bald eagle sees the mouse then the bald eagle is green.
((("bald eagle" "sees" "mouse" "+")) -> ("bald eagle" "is" "green" "+"))
If something is young then it needs the dog.
((("something" "is" "young" "+")) -> ("something" "needs" "dog" "+"))
If the bald eagle is big and the bald eagle needs the dog then the bald eagle likes the mouse.
((("bald eagle" "is" "big" "+") ("bald eagle" "needs" "dog" "+")) -> ("bald eagle" "likes" "mouse" "+"))
If something needs the dog then it is nice.
((("something" "needs" "dog" "+")) -> ("something" "is" "nice" "+"))
If something sees the mouse then it is big.
((("something" "sees" "mouse" "+")) -> ("something" "is" "big" "+"))
If something sees the dog and the dog likes the mouse then the dog needs the mouse.
((("something" "sees" "dog" "+") ("dog" "likes" "mouse" "+")) -> ("dog" "needs" "mouse" "+"))
The bald eagle sees the dog.
True
1
proof
[(triple1)]
("bald eagle" "sees" "dog" "+")
triple1
The mouse does not see the dog.
False
1
inv-proof
[(triple7)]
("mouse" "sees" "dog" "-")
triple7
The dog needs the mouse.
True
3
proof
[(((triple1 triple3) -> rule8) OR ((triple7 triple3) -> rule8))]
("dog" "needs" "mouse" "+")
((triple1 triple3) -> (rule8 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
((triple7 triple3) -> (rule8 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The dog does not need the mouse.
False
3
inv-proof
[(((triple1 triple3) -> rule8) OR ((triple7 triple3) -> rule8))]
("dog" "needs" "mouse" "-")
((triple1 triple3) -> (rule8 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
((triple7 triple3) -> (rule8 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@2: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The mouse needs the dog.
Unknown
rconc
[@1: The mouse needs the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "dog" "+")
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle sees the dog.[(triple1)] The dog is nice.[(triple2)] The dog likes the mouse.[(triple3)] The mouse is blue.[(triple4)] The mouse likes the bald eagle.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse sees the dog.[(triple7)] @1: The dog needs the mouse.[(((triple1 triple3) -> rule8) OR ((triple7 triple3) -> rule8))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple5
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple6
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple7
The dog needs the mouse.
("dog" "needs" "mouse" "+")
((triple1 triple3) -> (rule8 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
((triple7 triple3) -> (rule8 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1