The bald eagle is nice. The bald eagle likes the mouse. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The dog eats the bald eagle. The mouse eats the dog. The mouse is cold. The mouse likes the bald eagle. The squirrel eats the dog. The squirrel is green. The squirrel likes the dog. The squirrel needs the mouse. If someone needs the bald eagle and the bald eagle needs the dog then the dog likes the mouse. If someone likes the bald eagle and they need the dog then the dog needs the bald eagle. If someone needs the squirrel then the squirrel needs the dog. If someone needs the bald eagle and they are blue then the bald eagle needs the squirrel. If someone likes the bald eagle and the bald eagle is green then the bald eagle is nice. If someone eats the bald eagle then they are kind.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone needs the bald eagle and the bald eagle needs the dog then the dog likes the mouse.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "needs" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
If someone likes the bald eagle and they need the dog then the dog needs the bald eagle.
((("someone" "likes" "bald eagle" "+") ("someone" "needs" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If someone needs the squirrel then the squirrel needs the dog.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "dog" "+"))
If someone needs the bald eagle and they are blue then the bald eagle needs the squirrel.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "blue" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If someone likes the bald eagle and the bald eagle is green then the bald eagle is nice.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone eats the bald eagle then they are kind.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple8)]
("mouse" "likes" "bald eagle" "+")
triple8
The bald eagle does not like the mouse.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "mouse" "-")
triple2
The dog is kind.
True
2
proof
[(((triple5) -> rule6))]
("dog" "is" "kind" "+")
((triple5) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple5) -> rule6))]
("dog" "is" "kind" "-")
((triple5) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not like the mouse.
Unknown
inv-rconc
[@1: The dog likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "mouse" "-")
The squirrel is kind.
Unknown
rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The dog eats the bald eagle.[(triple5)] The mouse eats the dog.[(triple6)] The mouse is cold.[(triple7)] The mouse likes the bald eagle.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the dog.[(triple11)] The squirrel needs the mouse.[(triple12)] @1: The dog is kind.[(((triple5) -> rule6))] The squirrel needs the dog.[(((triple4) -> rule3))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple11
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
((triple5) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
((triple4) -> (rule3 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1