The bald eagle eats the dog. The bald eagle eats the rabbit. The bald eagle visits the mouse. The dog sees the rabbit. The mouse does not eat the bald eagle. The mouse is nice. The rabbit is blue. If the dog is not rough then the dog sees the rabbit. If something sees the rabbit then the rabbit does not visit the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If the dog is not rough then the dog sees the rabbit.
((("dog" "is" "rough" "~")) -> ("dog" "sees" "rabbit" "+"))
If something sees the rabbit then the rabbit does not visit the dog.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "visits" "dog" "-"))
The bald eagle visits the mouse.
True
1
proof
[(triple3)]
("bald eagle" "visits" "mouse" "+")
triple3
The mouse eats the bald eagle.
False
1
inv-proof
[(triple5)]
("mouse" "eats" "bald eagle" "+")
triple5
The dog does not visit the mouse.
Unknown
inv-random
[@0: The dog visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "mouse" "-")
The mouse eats the rabbit.
Unknown
random
[@0: The mouse eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "rabbit" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle visits the mouse.[(triple3)] The dog sees the rabbit.[(triple4)] The mouse does not eat the bald eagle.[(triple5)] The mouse is nice.[(triple6)] The rabbit is blue.[(triple7)] @1: The rabbit does not visit the dog.[(((triple4) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple4
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
((triple4) -> (rule2 % int1))
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
int1