The bald eagle likes the mouse. The dog is round. The mouse likes the squirrel. The squirrel likes the dog. All red people are blue. If someone is kind and blue then they are not red. If someone likes the dog then they are not kind. All blue, red people are rough. If someone needs the dog and they do not visit the mouse then the mouse is red. If the mouse is kind and the mouse needs the bald eagle then the mouse is not blue.
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The dog is round.
("dog" "is" "round" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue then they are not red.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "-"))
If someone likes the dog then they are not kind.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "kind" "-"))
All blue, red people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone needs the dog and they do not visit the mouse then the mouse is red.
((("someone" "needs" "dog" "+") ("someone" "visits" "mouse" "~")) -> ("mouse" "is" "red" "+"))
If the mouse is kind and the mouse needs the bald eagle then the mouse is not blue.
((("mouse" "is" "kind" "+") ("mouse" "needs" "bald eagle" "+")) -> ("mouse" "is" "blue" "-"))
The dog is round.
True
1
proof
[(triple2)]
("dog" "is" "round" "+")
triple2
The squirrel does not like the dog.
False
1
inv-proof
[(triple4)]
("squirrel" "likes" "dog" "-")
triple4
The squirrel is not kind.
True
2
proof
[(((triple4) -> rule3))]
("squirrel" "is" "kind" "-")
((triple4) -> (rule3 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The squirrel is kind.
False
2
inv-proof
[(((triple4) -> rule3))]
("squirrel" "is" "kind" "+")
((triple4) -> (rule3 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The mouse is not rough.
Unknown
inv-rconc
[@2: The mouse is rough.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("mouse" "is" "rough" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The dog needs the mouse.
Unknown
random
[@0: The dog needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "mouse" "+")
@0: The bald eagle likes the mouse.[(triple1)] The dog is round.[(triple2)] The mouse likes the squirrel.[(triple3)] The squirrel likes the dog.[(triple4)] @1: The squirrel is not kind.[(((triple4) -> rule3))]
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple3
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple4
The squirrel is not kind.
("squirrel" "is" "kind" "-")
((triple4) -> (rule3 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1