The bald eagle eats the mouse. The bald eagle is blue. The dog eats the squirrel. The dog is blue. The dog is round. The dog likes the squirrel. The mouse is blue. The mouse is cold. The mouse is nice. The mouse sees the bald eagle. The squirrel eats the mouse. The squirrel likes the bald eagle. The squirrel likes the dog. The squirrel sees the bald eagle. The squirrel sees the mouse. If someone eats the bald eagle and they are kind then they see the bald eagle. If someone eats the squirrel and the squirrel eats the bald eagle then the squirrel is cold. If someone likes the squirrel then the squirrel sees the dog. If someone likes the dog then the dog likes the squirrel. If someone likes the bald eagle then they see the dog. If someone is kind then they are nice. If someone likes the squirrel and the squirrel likes the mouse then the mouse likes the bald eagle. If someone sees the squirrel and the squirrel is blue then the squirrel sees the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone eats the bald eagle and they are kind then they see the bald eagle.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone eats the squirrel and the squirrel eats the bald eagle then the squirrel is cold.
((("someone" "eats" "squirrel" "+") ("squirrel" "eats" "bald eagle" "+")) -> ("squirrel" "is" "cold" "+"))
If someone likes the squirrel then the squirrel sees the dog.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "sees" "dog" "+"))
If someone likes the dog then the dog likes the squirrel.
((("someone" "likes" "dog" "+")) -> ("dog" "likes" "squirrel" "+"))
If someone likes the bald eagle then they see the dog.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "dog" "+"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the squirrel and the squirrel likes the mouse then the mouse likes the bald eagle.
((("someone" "likes" "squirrel" "+") ("squirrel" "likes" "mouse" "+")) -> ("mouse" "likes" "bald eagle" "+"))
If someone sees the squirrel and the squirrel is blue then the squirrel sees the bald eagle.
((("someone" "sees" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
The squirrel likes the dog.
True
1
proof
[(triple13)]
("squirrel" "likes" "dog" "+")
triple13
The bald eagle is not blue.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is blue.[(triple4)] The dog is round.[(triple5)] The dog likes the squirrel.[(triple6 OR ((triple13) -> rule4))] The mouse is blue.[(triple7)] The mouse is cold.[(triple8)] The mouse is nice.[(triple9)] The mouse sees the bald eagle.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel likes the bald eagle.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The squirrel sees the dog.[(((triple12) -> rule5) OR ((triple6) -> rule3) OR ((((triple13) -> rule4)) -> rule3))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple6
((triple13) -> (rule4 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple10
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple11
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple12
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple13
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple14
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple15
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
((triple12) -> (rule5 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
((triple6) -> (rule3 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
((((triple13) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2