The dog is not green. The dog likes the squirrel. The mouse needs the dog. The mouse needs the rabbit. The rabbit is round. The squirrel eats the rabbit. The squirrel does not like the mouse. If something needs the dog then the dog eats the mouse. If something eats the squirrel and it is not blue then the squirrel does not need the rabbit. If something needs the mouse then the mouse needs the dog.
The dog is not green.
("dog" "is" "green" "-")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
If something needs the dog then the dog eats the mouse.
((("something" "needs" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
If something eats the squirrel and it is not blue then the squirrel does not need the rabbit.
((("something" "eats" "squirrel" "+") ("something" "is" "blue" "~")) -> ("squirrel" "needs" "rabbit" "-"))
If something needs the mouse then the mouse needs the dog.
((("something" "needs" "mouse" "+")) -> ("mouse" "needs" "dog" "+"))
The dog is not green.
True
1
proof
[(triple1)]
("dog" "is" "green" "-")
triple1
The squirrel likes the mouse.
False
1
inv-proof
[(triple7)]
("squirrel" "likes" "mouse" "+")
triple7
The dog eats the mouse.
True
2
proof
[(((triple3) -> rule1))]
("dog" "eats" "mouse" "+")
((triple3) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog does not eat the mouse.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "eats" "mouse" "-")
((triple3) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The rabbit does not eat the dog.
Unknown
inv-random
[@0: The rabbit eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "dog" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The dog is not green.[(triple1)] The dog likes the squirrel.[(triple2)] The mouse needs the dog.[(triple3)] The mouse needs the rabbit.[(triple4)] The rabbit is round.[(triple5)] The squirrel does not like the mouse.[(triple7)] The squirrel eats the rabbit.[(triple6)] @1: The dog eats the mouse.[(((triple3) -> rule1))]
The dog is not green.
("dog" "is" "green" "-")
triple1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple2
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple3
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
triple7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple3) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1