The bald eagle does not like the rabbit. The bald eagle needs the mouse. The bald eagle needs the rabbit. The dog does not visit the bald eagle. The dog visits the mouse. The mouse is cold. The mouse is kind. The mouse visits the dog. The rabbit likes the bald eagle. The rabbit needs the dog. If someone needs the rabbit then the rabbit visits the mouse. If someone likes the dog and they are not kind then they do not visit the mouse.
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone needs the rabbit then the rabbit visits the mouse.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
If someone likes the dog and they are not kind then they do not visit the mouse.
((("someone" "likes" "dog" "+") ("someone" "is" "kind" "~")) -> ("someone" "visits" "mouse" "-"))
The dog does not visit the bald eagle.
True
1
proof
[(triple4)]
("dog" "visits" "bald eagle" "-")
triple4
The rabbit does not like the bald eagle.
False
1
inv-proof
[(triple9)]
("rabbit" "likes" "bald eagle" "-")
triple9
The rabbit visits the mouse.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "visits" "mouse" "+")
((triple3) -> (rule1 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
The rabbit does not visit the mouse.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "visits" "mouse" "-")
((triple3) -> (rule1 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bald eagle does not like the rabbit.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The dog does not visit the bald eagle.[(triple4)] The dog visits the mouse.[(triple5)] The mouse is cold.[(triple6)] The mouse is kind.[(triple7)] The mouse visits the dog.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit needs the dog.[(triple10)] @1: The rabbit visits the mouse.[(((triple3) -> rule1))]
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
triple1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple4
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple8
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple9
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple10
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
((triple3) -> (rule1 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1